Some git admin utilities and config files