Git Plugin: add 'grhh' alias for 'git reset HEAD --hard' #810

merged 2 commits into from Jan 22, 2012


None yet
2 participants

cseeger commented Jan 5, 2012

I use 'git reset HEAD --hard' all the time and figured this alias would be a helpful addition to the git plugin.

cseeger commented Jan 9, 2012


@robbyrussell robbyrussell added a commit that referenced this pull request Jan 22, 2012

@robbyrussell robbyrussell Merge pull request #810 from cseeger/master
Git Plugin: add 'grhh' alias for 'git reset HEAD --hard'

@robbyrussell robbyrussell merged commit 9863633 into robbyrussell:master Jan 22, 2012

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment