From b2ded0008cbfdd45b0793dac11a692a2ee41a1c8 Mon Sep 17 00:00:00 2001
From: Malin Freeborn <malinfreeborn@posteo.net>
Date: Mon, 27 Apr 2026 12:01:22 +0200
Subject: [PATCH] cmd: git request-pull

---
 command.rec | 11 +++++++++++
 1 file changed, 11 insertions(+)

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').