diff --git a/command.rec b/command.rec index 75d5b7d..26018ac 100644 --- a/command.rec +++ b/command.rec @@ -453,3 +453,14 @@ tag: writing tag: comfy tag: dict shell: sh + +aim: Email a pull request which points to your git server +tag: git +tag: email +tag: pr +cmd: repo=ssh://soft.dmz.rs:2222/mkdots/ ++ theirHead='HEAD^^^^' ++ head=master ++ git request-pull "${theirHead}" "${repo}" "${head}" +note: You can note where your branch diverged from theirs with a commit hash, ++ or a relative position, like `HEAD^^` (e.g. 'two commits before your latest').