WIP: zshrc: Add shortcut to checkout github PRs
This commit is contained in:
parent
53a716dd1d
commit
097b23f66c
1 changed files with 10 additions and 0 deletions
|
|
@ -122,6 +122,16 @@ git_retag() {
|
||||||
fi
|
fi
|
||||||
}
|
}
|
||||||
|
|
||||||
|
gh_checkout_pr() {
|
||||||
|
if [ "$#" -eq "2" ]; then
|
||||||
|
remote=$1
|
||||||
|
pr=$2
|
||||||
|
git fetch $remote pull/$pr/head:pr$pr
|
||||||
|
else
|
||||||
|
echo "ERROR: Please provide remote name and pr ID"
|
||||||
|
fi
|
||||||
|
}
|
||||||
|
|
||||||
# mpv
|
# mpv
|
||||||
alias mpv="mpv --autofit=70%"
|
alias mpv="mpv --autofit=70%"
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue