Petr TesaΕΓkStarted moving my GitHub projects to #codeberg. Quite smooth, actuallyβ¦
https://codeberg.org/ptesarik
UPDATE: A bit of churn to update inter-project links, but I hope a simple git grep github was enough to find them all.
Vlastimil Babka π¨πΏ
πͺπΊ
πΊπ¦
@ptesarik@infosec.exchange good call, you knew? https://www.theverge.com/news/757461/microsoft-github-thomas-dohmke-resignation-coreai-team-transition
Petr TesaΕΓkHm. What would be the best way to discontinue the GitHub repository now?
Alexander Monakov@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?
Alexander Monakov@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@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.
Petr TesaΕΓk@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.