#!/bin/env bash

if [[ $(hostname) != "ladd76" ]]; then
  echo >&2 "host $(hostname) != 'ladd76'"
  exit 1
fi

set -eo pipefail

git checkout dev

./sync

if git diff; then
  git add .
fi

git commit "$@"

git push

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