If you have a github account, you just have clone, branch, whatever it is you want to do, and merge/pull request and I'll do whatever is appropriate. The github is up there as of now. You can join the discord chat here: https://discord.gg/AmyB6ee

If stinc tries to get github to stomp on my repo, I will just run a new one at gitlab, in fact, I'll do the mirror right away, and if I encounter any other problems, I will run a gitlab myself.