Give richard acceess to tor-android-service gitolite repo
I don't seem to have full access
tor-android-service$ git push --delete -u origin-push master
remote: warning: deleting the current branch
remote: + refs/heads/master tor-android-service richard DENIED by fallthru
remote: error: hook declined to update refs/heads/master
To ssh://git-rw.torproject.org/tor-android-service.git
! [remote rejected] master (hook declined)
error: failed to push some refs to 'ssh://git-rw.torproject.org/tor-android-service.git'