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:
- Create a Gitea fork at https://github.com/earl-warren/gitea
- Create an empty project at earl-warren/gitea: Gitea - gitea - Gitea: Git with a cup of tea
- Push my working branch to earl-warren/gitea: Gitea - gitea - Gitea: Git with a cup of tea
- Follow the instructions to mirror earl-warren/gitea: Gitea - gitea - Gitea: Git with a cup of tea to https://github.com/earl-warren/gitea
- After the push from gitea.com to github.com, created a pull request with the branch
- Open an identical pull request on gitea.com
- Updated the comments of both pull requests to clarify which is the primary (gitea.com) and which is a mirror (github.com)