Fix can't push github.