Add override config file for github.properties