An implementation of a GitHub bot to trigger and check Hydra's jobs
TODO
Take as an example the configuration.json file to configure the bot.
Make sure to have the following environment variables HYDRA_USERNAME and HYDRA_PASSWORD while running the bot.