diff options
| author | Ismaël Bouya <ismael.bouya@normalesup.org> | 2019-09-07 12:05:49 +0200 |
|---|---|---|
| committer | Ismaël Bouya <ismael.bouya@normalesup.org> | 2019-09-07 12:05:49 +0200 |
| commit | d64fa1612a339627fff84836acb4333256b2886c (patch) | |
| tree | a23550e3ebf854ba58ad435d1ac4d977d6a4d497 | |
| parent | 2d8938f6bef5a7afc4d4f65df9188634de25ef0f (diff) | |
| download | Public-d64fa1612a339627fff84836acb4333256b2886c.tar.gz Public-d64fa1612a339627fff84836acb4333256b2886c.tar.zst Public-d64fa1612a339627fff84836acb4333256b2886c.zip | |
Fix some arguments in git backup
| -rwxr-xr-x | backup_git_dirs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/backup_git_dirs b/backup_git_dirs index 6846e04..f2d2055 100755 --- a/backup_git_dirs +++ b/backup_git_dirs | |||
| @@ -50,13 +50,13 @@ function backup_refs() { | |||
| 50 | git read-tree HEAD | 50 | git read-tree HEAD |
| 51 | head_commit=$(git show-ref --hash --head ^HEAD) | 51 | head_commit=$(git show-ref --hash --head ^HEAD) |
| 52 | git add . | 52 | git add . |
| 53 | COMMIT=`git commit-tree $(git write-tree) -p $head_commit -m "Automatic backup"` | 53 | COMMIT=`git commit-tree --no-gpg-sign $(git write-tree) -p $head_commit -m "Automatic backup"` |
| 54 | git update-ref refs/$REF_NS/workdir $COMMIT | 54 | git update-ref refs/$REF_NS/workdir $COMMIT |
| 55 | rm -f "$GIT_INDEX_FILE" | 55 | rm -f "$GIT_INDEX_FILE" |
| 56 | unset GIT_INDEX_FILE | 56 | unset GIT_INDEX_FILE |
| 57 | 57 | ||
| 58 | if git remote | grep -q "^$REMOTE$"; then | 58 | if git remote | grep -q "^$REMOTE$"; then |
| 59 | git push -q --force $REMOTE "refs/$REF_NS/*:refs/$REF_NS/*" | 59 | git push --no-verify --no-signed -q --force $REMOTE "refs/$REF_NS/*:refs/$REF_NS/*" |
| 60 | git for-each-ref --format='%(refname)' refs/$REF_NS | while read ref; do | 60 | git for-each-ref --format='%(refname)' refs/$REF_NS | while read ref; do |
| 61 | git update-ref -d "$ref" | 61 | git update-ref -d "$ref" |
| 62 | done | 62 | done |