Add support for git clones made with the --mirror option
#63
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
In case of a git repository mirror, all branches are kept in sync all the time.
Trying to push out a particular refspec errors out with:
Moreover, when a cherry-pick is pushed and the branch gets auto-deleted by
cherry-picker, this introduces a dangerous situation for--mirrorusers. Again, with--mirrorall branches are kept in sync. If I delete a branch locally from myambv/cpythonrepository and then I push this change to GitHub, the remote branch will get automatically deleted on GitHub as well. So, ifcherry-pickerdeletes a branch for PR-1, and then I push another unrelated change before PR-1 gets merged, PR-1 will get automatically closed by GitHub because the branch got deleted.This change adds support for mirrors. Tested with:
python/cpython#92981
python/cpython#94495
python/cpython#94496 (pushing this one didn't auto-close the previous one)