GitLab

I think torbutton's hook should be updated. I don't know what it contains, but I'm guessing there is something related to Trac. We're also pushing to dip.tpo, so that could be updated, too.

remote: To dip.torproject.org:tpo/applications/torbutton
remote:    28abe803..edad4c65  master -> master
remote: == irc-message == 
remote: == per-repo-hook == 
remote: run-parts: executing /srv/git.torproject.org/git-helpers/post-receive-per-repo.d/torbutton/trigger-trac torbutton /tmp/tmp.Vxh98EaAiT
remote: [/srv/git.torproject.org/git-helpers/post-receive-per-repo.d/torbutton/trigger-trac] Triggering trac update for torbutton on troodi.torproject.org.
remote: ssh: Could not resolve hostname troodi.torproject.org: Name or service not known
remote: run-parts: /srv/git.torproject.org/git-helpers/post-receive-per-repo.d/torbutton/trigger-trac exited with return code 255
remote: == xx-jenkins-trigger == 
remote: [hook[22435]] Triggering jenkins build for (https://git.torproject.org/torbutton.git, master, edad4c65724fecfcacec5afd7e8c394f850d9f1d).
remote: No git jobs using repository: https://git.torproject.org/torbutton.git and branches: master
remote: No Git consumers using SCM API plugin for: https://git.torproject.org/torbutton.git
remote: [hook[22435]] Jenkins triggers done.
To ssh://git-rw.torproject.org/torbutton.git
   28abe803..edad4c65  master -> master

(Probably CC @ahf or @hiro)