From 03d13ff0d589b91dc29290c645b071224445a392 Mon Sep 17 00:00:00 2001
From: Johnny Wang <wangjiahao@openresty.com>
Date: Sat, 28 May 2022 00:29:50 +0800
Subject: [PATCH] bugfix: fixed bad owner of '.git/' dir.

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

diff --git a/opsboy b/opsboy
index b195ea6..4335a64 100755
--- a/opsboy
+++ b/opsboy
@@ -331,7 +331,7 @@ sub make ($$) {
 
             } else {
                 if ($git_pull) {
-                    sh("cd $dir && git fetch origin && git reset --hard && git checkout $branch && if [ -z \$(git tag -l $branch) ]; then git reset --hard origin/$branch; fi");
+                    sh("cd $dir && sudo chown \$USER -R .git/ && git fetch origin && git reset --hard && git checkout $branch && if [ -z \$(git tag -l $branch) ]; then git reset --hard origin/$branch; fi");
                 }
             }
         }