gitlab-migration-tools

get_participants.py

Returns the Github user names of contributors and commenters of a github project

Tip: you can exclude account names from the output by listing them in the exclude file. Users registered at https://mensuel.framapad.org/p/migration_ready_2548763689 are automatically excluded.

Note: the script should work with python>=3.6, but is tested with python>=3.7

$ python3 ./get_participants.py
Repo owner [tango-controls] ?
Repo name [pytango] ? jtango

getting contributors (page 1): 7
getting commenters (page(1): 100
getting commenters (page(2): 100
getting commenters (page(3): 22

Unique users for github.com/tango-controls/jtango:
@Ingvord, @KrystianKedron, @Pascal-Verdier, @altavir, @bourtemb, @gwen-soleil, @jc17609, @jkotan, @ma-neumann, @reszelaz, @sergirubio, @t-b, @tre3k

add_moved_branch.sh

Helper script to add a moved-to-gitlab branch to the old repository. So, the day of the migration, do:

  1. Run add_moved_branch.sh <projectname>
  2. In GH, change the default branch of the project to moved-to-gitlab and change the project description to "Moved to gitlab"
  3. Archive the GH project
  4. Import it as https://gitlab.com/tango-controls/<projectname> using the @tango-controls-bot account, and check it.
  5. Delete the moved-to-gitlab branch in GitLab and set the proper default branch.
  6. Notify the tango community about the migration (send an email to info@tango-controls.org) and add a comment in this migration issue