Configuration file to set branches and github credentials (not used for the moment)