Skip to content

Update git scripts to include tor-gitlab repository

Nick Mathewson requested to merge nickm/tor:gitlab_scripts_1 into master

Analogously to tor-github, we now make a tor-gitlab repository. It is set up to disable push direct attempts, and to fetch merge requests into appropriate branches.

git-pull-all.sh knows how to fetch this repository.

Merge request reports