Disable gitolite mirroring for Applications Team repos

We would like to stop gitolite mirroring for the following repos:

• tor-android-service : https://gitweb.torproject.org/tor-android-service.git/
• torbutton : https://gitweb.torproject.org/torbutton.git/
• tor-launcher : https://gitweb.torproject.org/tor-launcher.git/
• tor-browser : https://gitweb.torproject.org/tor-browser.git/
• rbm : https://gitweb.torproject.org/builders/rbm.git/
• tor-browser-build : https://gitweb.torproject.org/builders/tor-browser-build.git/
• tor-browser-spec : https://gitweb.torproject.org/tor-browser-spec.git/
• tor-browser-bundle-testsuite : https://gitweb.torproject.org/tor-browser-bundle-testsuite.git/

I think that is all of them.