#!/usr/bin/env bash
## Undoes your last push to branch **1** of origin.
## Source: git-extra-commands

#
# Undo your last push to branch ($1) of origin

exec git push -f origin HEAD^:$1