{{template "base/head" .}}
+

{{AppName}}

I'm done giving Github the right to painlessly break the terms of my open-source licenses. For this reason, I'm moving from Github to this instance of Gitea.
I'll be mirroring the projects that are already on Github, but new projects will end up here instead.

Getting started

To get started, head over to the "explore" tab or have a look at my profile page:

Contributing

I haven't figured out a contribution solution that truly satisfies me. If federation support for Gitea gets implemented, then I might switch to using it.
In the meantime, here are temporary solutions for you to use:

Issues

While the repositories are all mirrored on Github, you can use Github's issue tracker to send issues.
I'm not a fan of using Gitea's issue tracker, as the registrations on this server are closed.

Pull/Merge Requests

These can be done on Github, but you can also send me a link to your branch for me to check out. You can find my contact informations on my website.

Direct contributions

The projects to which I expect direct contributions should already be primarily hosted on Github.
If you do want to contribute to them through this website, then I'll happily create an account for you here and give you access. The difficulty with this method lies in the way mirroring works — pushing different commits to both Github and Gitea will likely break things, so this situation should be avoided.
{{template "base/footer" .}}