A simple repo for keeping track of git tips