From f3e0a31d6f6d1fe4874fa263167c78a6554f1ff4 Mon Sep 17 00:00:00 2001
From: Andreas Dangel <andreas.dangel@pmd-code.org>
Date: Fri, 29 Sep 2023 20:25:43 +0200
Subject: [PATCH] [ci] Add link to release process of pmd-designer

---
 do-release.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/do-release.sh b/do-release.sh
index 0f4e593c52..eb01716c74 100755
--- a/do-release.sh
+++ b/do-release.sh
@@ -244,6 +244,7 @@ echo "    <https://repo.maven.apache.org/maven2/net/sourceforge/pmd/pmd/maven-me
 echo
 echo
 echo "Then proceed with releasing pmd-designer..."
+echo "<https://github.com/pmd/pmd-designer/blob/master/releasing.md>"
 echo
 echo "Press enter to continue when pmd-designer is available in maven-central..."
 echo "<https://repo.maven.apache.org/maven2/net/sourceforge/pmd/pmd-ui/maven-metadata.xml>."