make github config values lazy so that a more meaningful error message is given when github.conf is missing