-
Notifications
You must be signed in to change notification settings - Fork 1.6k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Clean up branches #4745
Comments
I cleaned up a lot of branches, which PRs got merged, the commits in these branches got merged in another way (another PR, manually pushed, ...) or could be deleted savely for some other reasons (e.g., the modified code doesn't even exist anymore). There are 6 stale branches left.
Deleted branches:
|
I think the A think I tend to do is make empty merge commits to bring these branches into master's git history. Some of them may have already been merged and can be deleted. |
Ok I think this has already been done with Should we do this also with the other branches or should we protect them? |
I just checked and #4109 includes all of the above mentioned branches. So can we delete these branches? |
Yes, you can delete those branches as long as their head commit shows in git log. |
Each HEAD of these branches is in the master, so I deleted them. Except |
Deleted. We should also probably create tags for the final published commit for each rust version. |
Done. I pushed the tags |
Merge backport branches back into master r? @Manishearth cc #4745 changelog: none
With |
There are currently 45 branches at this repo. Most of them are old and outdated (see staled branches). It would be nice if they can get removed so the git completion looks better (e.g.
git checkout <tab>
).The text was updated successfully, but these errors were encountered: