development.7: Refer to new port name for git-arc

The git-arc script was moved from devel/freebsd-git-devtools to
devel/freebsd-git-arc.

Reviewed by:	ziaee
Sponsored by:	The FreeBSD Foundation
Differential Revision:	https://reviews.freebsd.org/D55128

share/man/man7/development.7

@@ -125,13 +125,13 @@ the continuous integration system is at:
 .Pp
 .Lk https://ci.FreeBSD.org
 .Sh FILES
-.Bl -tag -compact -width "/usr/ports/devel/freebsd-git-devtools"
+.Bl -tag -compact -width "/usr/src/tools/tools/git/git-arc.sh"
 .It Pa /usr/src/CONTRIBUTING.md
 .Fx
 contribution guidelines
 .It Pa /usr/src/tools/tools/git/git-arc.sh
 Phabricator review tooling
-.It Pa /usr/ports/devel/freebsd-git-devtools
+.It Pa /usr/ports/devel/freebsd-git-arc
 Phabricator review tooling as a port
 .El
 .Sh EXAMPLES