Update push.rst

Documentation needed to be updated because of change in commit 7c5ce061c1