A git script for quick continuous integration in an ensemble.

git-ci

#!/bin/bash

MESSAGE=$1

pushd () {
    command pushd "$@" > /dev/null
}

popd () {
    command popd "$@" > /dev/null
}

git_root () {
  echo "$(git rev-parse --show-toplevel)"
}

has_changes () {
  $(git diff-index --quiet HEAD) && return 1 || return 0
}

commit_message () {
  local message
  if [ -z "$MESSAGE" ]; then
    read -rp "Commit message? " message
  else
    message="$MESSAGE"
  fi
  echo "$message"
}

git_commit() {
  git add -A && git commit -m "$(commit_message)"
}

git_push() {
  git push && git_next
}

git_next() {
  git log --since='1 day ago' --format='%at %an' | sort -n -r | awk '!seen[$2]++ {print $2}'
}

pushd $(git_root) || exit
if $(has_changes); then
  git_commit
fi
git_push
popd || exit

Hat tip to @KodyFintak for the git_next part.