Migrate archlinux-docker

Procedure for adding an official project to GitLab

Details

• Project name: archlinux-docker
• Type: MIGRATION
• Current location: https://github.com/archlinux/archlinux-docker

New repo checklist

If you want to add a new official project, here are some guidelines to follow:

1. Evaluate whether the project can sit in the official GitLab Arch Linux group or whether it needs its own group. It only needs its own group if the primary development group is somehow detached from Arch Linux and only losely related (for instance: pacman)
2. After project creation, add the responsible people to the project and give them the Developer role. The idea is to let these people mostly manage their own project while not giving them enough permissions to be able to misconfigure the project.
3. If mirroring to github.com is desired, work through the GitHub.com mirroring checklist below and then return to this one.
4. If the project needs a secure runner to build trusted artifacts, coordinate with the rest of the DevOps team and if found to be reasonable, assign a secure runner to a protected branch of the project.
5. If a secure runner is used, make sure the project's .gitlab-ci.yml specifies one of tags: secure-general, tags: secure-virtualbox, tags: secure-kvm depending on required capabilities.
6. Make sure that the Push Rules in https://gitlab.archlinux.org/archlinux/arch-boxes/-/settings/repository reflect these values:
   • Committer restriction: on
   • Reject unsigned commits: on
   • Do not allow users to remove tags with git push: on
   • Check whether author is a gitlab user: on
   • Prevent committing secrets to git: on
   • All of these should be activated by default as per group rules but it's good to check.
7. The Protected Branches in https://gitlab.archlinux.org/archlinux/my-example/-/settings/repository should specify Allowed to merge and Allowed to push as Developers + Maintainers.

GitHub.com mirroring checklist

GitLab side

1. If you want to mirror your repository "my-example" from gitlab.archlinux.org to the github.com/archlinux organization, you should create an empty project for your project at github.com/archlinux/my-example or if that's an existing repository, make sure that the current histories of the source and target repository are exactly the same.
2. Go to https://gitlab.archlinux.org/archlinux/my-example/-/settings/repository and open Mirroring repositories.
3. Make sure it has these settings:
   • Git repository URL: ssh://git@github.com/archlinux/my-example.git
   • Mirror direction: push
   • Authentication method: SSH public key
   • Only mirror protected branches : off
4. Click Mirror repository.
5. A new entry will pop up which has a button titled Copy SSH public key. Click that to copy the public key to your clipboard.

GitHub side

1. Log in as the archlinux-github technical user. This is important as otherwise pushes won't be associated correctly.
2. Go to https://github.com/archlinux/my-example/settings/keys and add a new deploy key.
3. Name it "gitlab.archlinux.org" so we know where it's from.
4. Paste the public key you copied from GitLab earlier.
5. Check Allow write access.
6. Click Add key.
7. Verify the push mirror works by click the Update now button.
8. In the repository settings on GitHub's side you should disable a few things to clean up the project page:
   • GitHub Actions
   • Wiki
   • Issues
   • Projects
9. In the GitHub description of the mirrored project, append " (read-only mirror)" so that people know it's a mirror.
10. Disable Packages and Environments from being shown on the main page.
11. In the website field put the full url to the repository on our GitLab.