config changed by github

config changed by github!