updating here while ETHZ gitolite server is out of action