Release process: document how to tell when the website has finished building

Closes #17793

Release process: document how to tell when the website has finished building
Closes #17793
dae82bf4 · intrigeri · d6da5aa7 · dae82bf4
Commit dae82bf4 authored Jul 02, 2020 by intrigeri
--- a/wiki/src/contribute/release_process.mdwn
+++ b/wiki/src/contribute/release_process.mdwn
@@ -1678,7 +1678,8 @@ website:
      git push origin master:master \
    )

-The release is now public! Woo!
+Once the [[Recent changes|recentchanges]] page has been refreshed,
+the website is up-to-date, and the release is now public! Woo!

 Bug tracker
 -----------