Git pre-push hook to dump and push a MySQL database

pre-push

#!/bin/bash

exit_if_pushing_database() {
  if [ -f .git_push_lock ]; then
    exit 0
  fi
}

dump_and_push_database() {
  mysqldump --skip-comments --skip-dump-date -h localhost -u root db_name > db.sql
  git add db.sql
  if [ -n "$(git status --porcelain | grep '^M.*db.sql')" ]; then
    touch .git_push_lock
    git commit -m 'Remote database update' && git push origin master
    rm .git_push_lock
  fi
}

exit_if_pushing_database
dump_and_push_database &

exit 0