From 03935ac5db11d5cce90ec12fa6b793aac17a0ef7 Mon Sep 17 00:00:00 2001
From: "byte[]" <byteslice@airmail.cc>
Date: Wed, 17 Jun 2020 07:32:29 -0400
Subject: [PATCH] update post-receive

---
 post-receive | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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