Another task to do: add a configuration file for github credentials