forget what I said about forgetting what I said about pushing to remote repo automatically