Using gitea.com to contribute to Gitea

While working on the integration of F3 in Gitea, I’ll follow @Dodecahedron method of contributing to Gitea and primarily work on https://gitea.com/earl-warren/gitea setup as a mirror to GitHub so that discussions can happen in a space that does not require a GitHub account for contributions. Here is how I’ve done it: