Re:Open-source, not open-contribution
by gregoriol on Thursday January 28, 2021 @09:47AM
(#25942474)
The problem with archive is that it looks like "not maintained anymore"/"deprecated", which is not the case here.
I agree, it's a hack. This hack competes with the "auto-close all pull requests" hack.
Which hack you would choose depends on how important it is never to see pull requests (e.g. for IP reasons as described elsethread).
If so, one possible solution is to maintain the primary repo elsewhere (Source Hut, Gitlab. wherever), and run a sync routine on a cron (or perhaps every push):
1. unarchive Github mirror repo
2. Push changes from primary repo to Github mirror
3. archive Github mirror repo
There's a race condition where someone might see the unarchived repo and start a pull request during the brief period where the sync is taking place, but the possibility that they'd both start and then fisish a pull request during sync periods seems remote.