Formatting for github

Also use push not patch