This is Gentoo's testing wiki. It is a non-operational environment and its textual content is outdated.
Please visit our production wiki at https://wiki.gentoo.org
Project:GitHub/Repositories and mirrors
From Gentoo Wiki (test)
Jump to:navigation
Jump to:search
Repositories in gentoo/ namespace
All organization members are currently permitted to create repositories in gentoo/ namespace. However, is it recommended to use the namespace wisely.
Rule of thumb:
- If you are establishing a Gentoo-originated project which other Gentoo developers will work on, use the gentoo/ namespace.
- If you are creating a private project loosely related to Gentoo, think twice before using the namespace,
- If you are forking an upstream repository to submit a pull request, do not use the namespace.
Please note that GitHub supports transferring the repository to another user/organization if you change your mind later.
Mirrors of git.gentoo.org repositories
We support automatically mirroring repositories from git.g.o to GitHub (or other external git hostings providing git-over-SSH access).
Warning
The mirrors are unidirectional. If you push any changes to the GitHub end (e.g. click the 'merge' button on a pull request), those changes are overwritten (force pushed over) on the next git.g.o commit.
The mirrors are unidirectional. If you push any changes to the GitHub end (e.g. click the 'merge' button on a pull request), those changes are overwritten (force pushed over) on the next git.g.o commit.
In order to obtain a GitHub mirror of your repository:
- Create the desired GitHub repository (either in gentoo/ namespace or on your private account).
- Add a push access for the bot:
- If the repository is in gentoo/ organization, add the Mirror bot team with write access to the repository.
- If the repository is outside gentoo/, add the gentoo-bot user as a collaborator with write access.
- Open a bug requesting git.g.o end setup.