|
|
|
@@ -131,7 +131,7 @@ handy over the years. |
|
|
|
# create a pull request branch based off a pull request, lets you git diff |
|
|
|
# even if someone rebases a pull request. |
|
|
|
p = !sh -c 'git branch ${1:-$(git defremote)}pr$0@$(iso8601 -s) $(git ls-remote -q ${1:-$(git defremote)} | grep refs/pull-requests/$0/from | cut -c1-8)' |
|
|
|
rvers = !sh -c 'commitish=${0:-HEAD} && git describe --first-parent --tags --long --match="cray-*" $commitish | sed -e "s/^cray-//" -e "s/-/./" -e "s/-g.*//"' |
|
|
|
rvers = !sh -c 'commitish=${0:-HEAD} && git describe --first-parent --tags --long $commitish | sed -e "s/-/./" -e "s/-g.*//"' |
|
|
|
#+END_SRC |
|
|
|
|
|
|
|
#+BEGIN_SRC conf :tangle (tangle/file ".gitconfig" (bound-and-true-p git-p)) |
|
|
|
|