News for hackers. Stuff that matters.

A comment on Open-source, not open-contribution. Parent comment

Re:Open-source, not open-contribution by qhwudbebd on Thursday January 28, 2021 @09:37AM (#25942318)
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?
[ Parent | on HN ]
Re:Open-source, not open-contribution by chmaynard on Thursday January 28, 2021 @06:36PM (#25951096)
This GitHub article may be useful:

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:

[email protected]

[ Parent | on HN ]
Re:Open-source, not open-contribution by qhwudbebd on Friday January 29, 2021 @09:40AM (#25957655)
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.
[ Parent | on HN ]