push: mention "push.default=tracking" in the documentation