4 ms·
I think archiving stops anyone pushing to a repo at all, but an option to label a repo as a mirror (and thereby block pull requests on GitHub) would be perfect
by qhwudbebd 6y ago
I think archiving stops anyone pushing to a repo at all, but an option to label a repo as a mirror (and thereby block pull requests on GitHub) would be perfect for me - it pretty much exactly describes the situation for my GitHub repos. Your post implies this option exists, but I can't find it in the interface - am I missing something obvious?
- chmaynard 6y agoThis GitHub article may be useful: https://docs.github.com/en/github/creating-cloning-and-archiving-repositories/duplicating-a-repository https://docs.github.com/en/github/creating-cloning-and-archi... I'm not sure if a mirror repo actually blocks pull requests. Check with GitHub Support for more information: support@githubsupport.com
- qhwudbebd 6y agoThis article isn't about creating a repository with non-standard properties I'm afraid. It's just a set of instructions for copying one repository into another. The resulting repo isn't any different from any other Github repository and doesn't have any kind of 'mirror' status.