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