https://cadent.net/create-a-new-public-repository-on-github/
Create a new public repository on GitHub without using the command line - Cadent
Nov 19, 2023 - How to create a new Public repository on GitHub so you can: All of this, without using the command line. There are lots of great reasons to use GitHub to share...
repository on github
https://libdivecomputer.org/mailman3/hyperkitty/list/devel@libdivecomputer.org/message/S3TJDFI3ALFR22HYR5OWOUNJPWMDAL7J/
Re: Permanent mirror of repository on GitHub? - devel - libdivecomputer.org
repository on githubpermanentmirrordevel