A tiny git server management with user permissions, multiple repos and a web frontend - written in Python using flask.