infrastructure

All the infrastructure needed to run the merge request bot.