a teeny git-based continuous integration server