From 4699b4de6d7c5863d0c4f657815635059f552210 Mon Sep 17 00:00:00 2001 From: Squidly271 Date: Thu, 18 Sep 2025 01:38:35 -0400 Subject: [PATCH 1/4] Feat: Add note if PR appears to have been merged --- .github/scripts/generate-pr-plugin.sh | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/.github/scripts/generate-pr-plugin.sh b/.github/scripts/generate-pr-plugin.sh index 71d14a680..19f3ad168 100755 --- a/.github/scripts/generate-pr-plugin.sh +++ b/.github/scripts/generate-pr-plugin.sh @@ -271,7 +271,14 @@ Link='nav-user' \ No newline at end of file +