git default push behavior is now simple