On Fri, 17 Jan 2020, Jakub Jelinek wrote: > On Thu, Jan 16, 2020 at 11:22:15PM +0000, Joseph Myers wrote: > > Committed. I think the main remaining things that need work in our git > > documentation on the website are: > > Shouldn't we move some of the branches from Active Development to Inactive?
Yes. I only reviewed the ones under "General Infrastructure" (and one of the ones left there should probably be considered inactive as well, being a git-mirror-only branch). If it's ended up in refs/dead/heads/ it can be presumed inactive and some vendor branches are likely inactive as well. (Quite possibly some branches in devel/ are also inactive, but there are few enough at present it doesn't seem a priority to figure out a suitably smooth process for moving such branches into refs/dead/ - at present it would be necessary to create the refs/dead/ branch and remove the devel/ one manually on the server. It may be better to leave any such moves out of the fetched-by-default branches into not-fetched-by-default refs until after the new sourceware is in use, since the new system should have enough resources for fully repacking the live repository on sourceware to be reasonable, and such a full repack is appropriate after moving anything out of the fetched-by-default refs in order to update the delta islands used in the packing.) -- Joseph S. Myers jos...@codesourcery.com
