post_upgrade() {
  echo "-- Don't forget to run 'php maintenance/run.php' after upgrade"
}
