diff options
| author | Jakob Odersky <jakob@odersky.com> | 2016-02-15 22:31:16 -0800 |
|---|---|---|
| committer | Jakob Odersky <jakob@odersky.com> | 2016-02-15 22:31:16 -0800 |
| commit | 284bca22df411fbd4255530c3f98adc4cf2c1b46 (patch) | |
| tree | b50863d0647c20b2d92e4cee7fad251f726b1beb /home/.gitconfig | |
| parent | 037195bd562385f257d328a9778839a300931378 (diff) | |
| download | dotfiles-284bca22df411fbd4255530c3f98adc4cf2c1b46.tar.gz dotfiles-284bca22df411fbd4255530c3f98adc4cf2c1b46.tar.bz2 dotfiles-284bca22df411fbd4255530c3f98adc4cf2c1b46.zip | |
Modify branch name for git pr
Diffstat (limited to 'home/.gitconfig')
| -rw-r--r-- | home/.gitconfig | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/home/.gitconfig b/home/.gitconfig index 4c0ab90..5e1a633 100644 --- a/home/.gitconfig +++ b/home/.gitconfig @@ -7,6 +7,6 @@ s = status hist = log --pretty=format:\"%h %ad | %s%d [%an]\" --graph --date=short lg = log --oneline --decorate --all --graph - pr = "!f() { git fetch ${2:-upstream} pull/$1/head:pr-$1 && git checkout pr-$1; }; f" + pr = "!f() { git fetch ${2:-upstream} pull/$1/head:pr/$1 && git checkout pr/$1; }; f" [push] default = simple |