diff options
author | Teddy Wing | 2018-12-01 00:50:10 +0100 |
---|---|---|
committer | Teddy Wing | 2018-12-01 00:50:10 +0100 |
commit | ecd23823f68a1cbb07e54354d79a705469fc048a (patch) | |
tree | 1b7607a4ef7ff3fbfefecfd0f454bfed69d38739 | |
parent | 3b8101f26292fb542ccc0612d6a95c42d074046b (diff) | |
download | code-review-ecd23823f68a1cbb07e54354d79a705469fc048a.tar.bz2 |
Add `git-review`
Shell function that checks out a pull request in a git worktree and
changes into the worktree directory.
-rw-r--r-- | git-review | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/git-review b/git-review new file mode 100644 index 0000000..fd3f59c --- /dev/null +++ b/git-review @@ -0,0 +1,18 @@ +#!/bin/sh + +EX_USAGE=64 + +git-review () { + if [ "$#" -ne 1 ]; then + return $EX_USAGE + fi + + local pr_id="$1" + local path="$(git rev-parse --show-toplevel)" + local worktree_dir="$path+review-$pr_id" + + git fetch origin pull/$pr_id/head:pr/$pr_id \ + && git worktree add "$worktree_dir" pr/$pr_id + + cd "$worktree_dir" +} |