Some simple python scripts to help transition to using gitolite