Retry option should be respected by push step

[Elizabeth Craig]

Right now, retries for git push are hardcoded to 5. This should probably either respect the general retry option, or have its own retry option.