PR: https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=261812
Plus a few more I spotted while working on it.
Differential D37091
Miscellaneous small changes to the Committer's Guide. pauamma_gundo.com on Oct 22 2022, 6:27 PM. Authored by Tags None Referenced Files
Subscribers
Details
PR: https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=261812 Plus a few more I spotted while working on it. make all
Diff Detail
Event TimelineComment Actions Noting that I can't read /home/portmgr/public, so I can't verify the full pathname for those reports is still correct. Comment Actions
There remain uses of gitrepo, is this intended? Sorry for the late feedback. Comment Actions I didn't intend to change uses of it in the text, if that's what you're asking. Whether they should be changed is more than I can say. All this is saying is what happened in DNS. Should I make that explicit? Comment Actions "… the future is now. …", so if not amongst this round of edits, we can update the text in the next round. (I don't want to complicate this review for you.)
I think, simply:
(I still prefer lowercase repo.freebsd.org, but that's a conversation for another day.) If a committer becomes curious about what happened to gitrepo.freebsd.org, it'll be easy enough for the person to find the explanation. Comment Actions Looks good.
Comment Actions
|