From fc99e92a7e3e1e84dd57c002f499d86366424504 Mon Sep 17 00:00:00 2001
From: Andreas Dangel <andreas.dangel@pmd-code.org>
Date: Fri, 31 Jul 2020 14:11:30 +0200
Subject: [PATCH] [ci] When releasing, wait for maven central sync

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

diff --git a/do-release.sh b/do-release.sh
index 096ca28274..b5a36b66a1 100755
--- a/do-release.sh
+++ b/do-release.sh
@@ -228,6 +228,8 @@ echo
 echo
 echo "Verify the new release on github: <https://github.com/pmd/pmd/releases/tag/pmd_releases/${RELEASE_VERSION}>"
 echo
+echo "*   Wait until the new version is synced to maven central and appears in as latest version in"
+echo "    <https://repo.maven.apache.org/maven2/net/sourceforge/pmd/pmd/maven-metadata.xml>."
 echo "*   Submit news to SF on <https://sourceforge.net/p/pmd/news/> page. Use same text as in the email below."
 echo "*   Send out an announcement mail to the mailing list:"
 echo