git-arc.1: Update reference to port with new port name
ClosedPublic
Actions

Authored by jrm on Thu, Feb 5, 5:21 PM.

Details

Reviewers

adrian
markj
emaste
ziaee

Commits

rG32bd754d4dcd: git-arc.1: Refer to new port name

Summary

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

Diff Detail

Repository

rG FreeBSD src repository

Lint

Lint Not Applicable

Unit

Tests Not Applicable

Event Timeline

jrm created this revision.Thu, Feb 5, 5:21 PM

Herald added a subscriber: imp. · View Herald TranscriptThu, Feb 5, 5:21 PM

jrm requested review of this revision.Thu, Feb 5, 5:21 PM

Harbormaster completed remote builds in B70434: Diff 171251.Thu, Feb 5, 5:21 PM

jrm retitled this revision from git-arc: Update references to port with new port name to git-arc: Update reference to port with new port name.Thu, Feb 5, 5:35 PM

jrm mentioned this in D55126: freebsd-git-arc-devtools: Was freebsd-git-devtools.Thu, Feb 5, 5:42 PM

ziaee accepted this revision.Thu, Feb 5, 5:50 PM

This revision is now accepted and ready to land.Thu, Feb 5, 5:50 PM

It's now devel/freebsd-git-arc.

This revision now requires review to proceed.Thu, Feb 5, 8:14 PM

Harbormaster completed remote builds in B70449: Diff 171285.Thu, Feb 5, 8:14 PM

jrm added a parent revision: D55129: devel/freebsd-git-arc: Improve discoverability with new port name.Thu, Feb 5, 8:17 PM

ziaee accepted this revision.Thu, Feb 5, 8:54 PM

This revision is now accepted and ready to land.Thu, Feb 5, 8:54 PM

Oh, but the commit message title should be "git-arc.1: Update reference to port with new name" because the .1 shows its specifically the manual.

jrm retitled this revision from git-arc: Update reference to port with new port name to git-arc.1: Update reference to port with new port name.Thu, Feb 5, 9:05 PM

Tweak title line of commit log.

This revision now requires review to proceed.Thu, Feb 5, 9:05 PM

Harbormaster completed remote builds in B70451: Diff 171288.Thu, Feb 5, 9:05 PM

This revision was not accepted when it landed; it landed in state Needs Review.Sat, Feb 7, 3:39 AM

Closed by commit rG32bd754d4dcd: git-arc.1: Refer to new port name (authored by jrm). · Explain Why

This revision was automatically updated to reflect the committed changes.

jrm added a commit: rG32bd754d4dcd: git-arc.1: Refer to new port name.