Brutkey

Petr Tesařík
@ptesarik@infosec.exchange

Hm. What would be the best way to discontinue the GitHub repository now?

Alexander Monakov
@amonakov@mastodon.gamedev.place

@ptesarik@infosec.exchange make a new branch that is empty bar a README pointing to the new upstream, make that branch the default, then archive the repo?

Petr Tesařík
@ptesarik@infosec.exchange

@amonakov@mastodon.gamedev.place Yes, that's it! I was thinking about updating the README in the main branch, but I didn't like the idea of two diverging main branches, both by the official author. I haven't thought about changing the default branch in GitHub.
Thank you , this is very helpful advice.