admin/milvus
1
0
Fork 0
mirror of https://gitee.com/milvus-io/milvus.git synced 2025-12-28 14:35:27 +08:00
Code Issues Packages Projects Releases Wiki Activity

[skip ci] Fix git commit error when nothing changed (#13132)

Browse Source 
Signed-off-by: Edward Zeng <jie.zeng@zilliz.com>
This commit is contained in:
edward.zeng 2021-12-10 10:27:07 +08:00 committed by GitHub
parent 2905182282
commit 9be0c5fdc8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.github/workflows/all-contributors.yaml vendored
View File

@ -59,8 +59,7 @@ jobs:
git config --global user.email "sre-ci-robot@zilliz.com"
git config --global user.name "sre-ci-robot"
git add -u
git commit -s -m 'Update all contributors'
git push
git diff-index --cached --quiet HEAD || (git commit -s -m 'Update all contributors' && git push)