diff --git a/post-receive b/post-receive index 4074b8f8..0849bcd3 100755 --- a/post-receive +++ b/post-receive @@ -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