adding push.log to gitignore