Is it possible to "archive" and then "unarchive" a Github repo using the Github API? If so, one possible solution is to maintain the primary repo elsewhere (So

Is it possible to "archive" and then "unarchive" a Github repo using the Github API? 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.