Make the repository public

[Hespian]

The current plan is to make this repo public once the "Proof of Concept v0.1.0" milestone is finished.

Here is a (probably incomplete) list of thing to before switching to public:

• Move project to kamping-site
• Update Readme
• Update "About" section
• Decide on a license (Decide on a licence #49)
• Change workflows to run on GitHub hosted runners (Use Github-hosted runner instead of self-hosted. #719)
• Somehow make it impossible to use the self-hosted runner (so nobody can make a malicious pull request that runs on our server)
• Re-enable Intel compilers, Intel MPI and mpich ((Re-)expand number of tested compilers and MPI implementations #78 )
• Add macOS build
• Auto-generate documentation and publish it on GitHub pages (see Autogenerate Doxygen documentation when changes are pushed #79 )
• Change merge guidelines (external contributors can't merge themselves) - also probably move this to a new contributing.md (see Add CONTRIBUTING.md #424 )

Things that can only be done after switching to public:

• Add branch protection rules:
  • Disable (force) push to main
  • Require at least one approving review/no review requesting changes before merging
  • Require all checks to pass before merging
  • Require all conversations to be resolved before merging
  • (Maybe) Use "Require linear history" feature
  • (Maybe) Use "Require merge queue" feature - It seems like this will always use fast-forward instead of squash

[ByteHamster]

Somehow make it impossible to use the self-hosted runner (so nobody can make a malicious pull request that runs on our server)

There is a setting on public repos for this:

Change merge guidelines (external contributors can't merge themselves)

External contributors can never merge their own PRs. There is not even a setting that would allow that.

[Hespian]

There is a setting on public repos for this:>

We don't really need that if we use github hosted runner, right? So we should just remove access to our self-hosted runner for the entire repo (or just completely remove the runner form our server - right now kampi dot en ge is the only repo using it.)

External contributors can never merge their own PRs. There is not even a setting that would allow that.

Yes, but the guidelines say that they should merge themselves ;)