Gepetto Utils

This is a set of tools for the gepetto team.

Docker

Some standard Dockerfile to build our projects in various configurations, especially to ease debugging.

Newcomers

Automatically find new gepettists, and send them a greetings mail, with some useful informations

Scripts

Set of little useful scripts