update post-receive

This commit is contained in:
byte[] 2020-06-17 07:32:29 -04:00
parent 004a2b387a
commit 03935ac5db

View file

@ -16,7 +16,7 @@ die() {
exit 1
}
if git diff --name-only $oldrev $newrev | grep "^mix.exs"; then
if git diff --name-only $oldrev $newrev | grep -Ee "^mix.(exs|lock)"; then
echo "Fetching deps"
mix deps.get || die "mix failed to update"
fi