adding push command to git commands file