Adding git alias for push.