document a missing permission step authored by anarcat's avatar anarcat
......@@ -364,6 +364,9 @@ Also consider [migrating the repository to GitLab permanently](#how-to-migrate-a
This will import the git repository into a new GitLab project.
2. grant `Developer` access to the [gitolite-merge-bot](https://gitlab.torproject.org/gitolite-merge-bot) user in
the project
2. in Gitolite, add the GitLab project URL to enable the mirror hook,
for example:
......
......