gravity/commit

20 lines
217 B
Bash
Executable File

#!/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"