#!/bin/env bash
set -eo pipefail

git checkout dev

if [[ $(hostname) == "ladd76" ]]; then
  ./sync
fi

if git diff; then
  git add .
fi

git commit "$@"

git push

echo >&2
echo >&2 "Committed and pushed dev branch"