commit 7a84063303449d6e7e781562adc7d383bccae8d1 parent 7f7ac3a69e3c60f2a3cd3569c2bc8122a2819295 Author: William Casarin <jb55@jb55.com> Date: Thu, 31 Aug 2023 18:36:21 -0700 Merge remote-tracking branch 'origin/master' 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'