Using git it is possible to specify options during push operations to perform specific actions, for example you can have a successful push a...