upgpkg: gerrit 2.13.1-1

1 files changed, 3 insertions, 2 deletions

diff --git a/gerrit.install b/gerrit.install
index f5fdfc516605..55e96025520e 100644
--- a/gerrit.install
+++ b/gerrit.install
@@ -79,7 +79,7 @@ post_install() {
   _set_dir_permissions
   _enable_systemd_service
   _start_systemd_service
-  echo "    To initialize gerrit, see https://gerrit-documentation.storage.googleapis.com/Documentation/2.12.3/index.html"
+  echo "    To initialize gerrit, see https://gerrit-documentation.storage.googleapis.com/Documentation/2.13.1/index.html"
   echo "    To setup gerrit do:"
   echo "      sudo su - gerrit"
   echo "      java -jar /usr/share/java/gerrit/gerrit.war init -d /var/lib/gerrit"
@@ -99,10 +99,11 @@ post_upgrade() {
   _enable_systemd_service
   _reload_systemd_service
   _start_systemd_service
-  echo "    To update gerrit, see https://gerrit-documentation.storage.googleapis.com/Documentation/2.12.3/index.html"
+  echo "    To update gerrit, see https://gerrit-documentation.storage.googleapis.com/Documentation/2.13.1/index.html"
   echo "    To update gerrit do:"
   echo "      sudo su - gerrit"
   echo "      java -jar /usr/share/java/gerrit/gerrit.war init -d /var/lib/gerrit"
+  echo "      java -jar /usr/share/java/gerrit/gerrit.war reindex"
 }
 
 # arg 1:  the old package version