4 ms·

Isn't that what archiving and mirroring are for? If you archive it or call it a mirror, GitHub users will understand that contributions to the repo are not acce

• kodah 6y ago
  Kind of. Archiving means you can't commit to it either, from what I know. Mirroring doesn't necessarily mean that you can't contribute to it, it just means you can't contribute to it on GitHub.
• sudhirj 6y ago
  No, archiving implies that no more code changes will be made. The author’s intention is not that that project is “finished”, it’s that they are the only ones going to make changes to it. Archiving will lock the authors out of making changes as well.
• 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 ago
    This 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 ago
      This 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.