From 94a0a929ccdabe44389dee7d6cb1c0028fb0f752 Mon Sep 17 00:00:00 2001 From: Eli Bosley Date: Mon, 15 Sep 2025 12:08:26 -0400 Subject: [PATCH] fix: add uninstall button to PR plugin banner --- .github/scripts/generate-pr-plugin.sh | 43 ++++++++++++++++++++++++++- 1 file changed, 42 insertions(+), 1 deletion(-) diff --git a/.github/scripts/generate-pr-plugin.sh b/.github/scripts/generate-pr-plugin.sh index 983bd4cbc..bcbbf7281 100755 --- a/.github/scripts/generate-pr-plugin.sh +++ b/.github/scripts/generate-pr-plugin.sh @@ -259,8 +259,49 @@ Link='nav-user' --- ]]>