commit eea336fcbbb6c1bbd15bcc7a20a18fb8db349775 parent 5706a4675d35edc8cb603a5771719ce6dde9f3d1 Author: William Casarin <jb55@jb55.com> Date: Thu, 31 Aug 2023 18:36:01 -0700 add mail-prlink Diffstat:
| A | bin/mail-prlink | | | 6 | ++++++ |
1 file changed, 6 insertions(+), 0 deletions(-)
diff --git a/bin/mail-prlink b/bin/mail-prlink @@ -0,0 +1,6 @@ +#!/usr/bin/env bash + +tac | +grep -E '^https://github\.com.*pull/' | +head -n1 | +sed -En 's,^(.*github.com/[^/]+/[^/]+/pull/[0-9]+).*,\1,p'