A few tools for repo and project management