function pr() {
id=$1
if [ -z $id ]; then
echo "Need Pull request number as argument"
return 1
fi
git fetch origin pull/${id}/head:pr_${id}
git checkout pr_${id}
}
Be the first to comment
You can use [html][/html], [css][/css], [php][/php] and more to embed the code. Urls are automatically hyperlinked. Line breaks and paragraphs are automatically generated.
Be the first to comment
You can use [html][/html], [css][/css], [php][/php] and more to embed the code. Urls are automatically hyperlinked. Line breaks and paragraphs are automatically generated.