mingzailao
/
ohmyzsh
mirror of https://github.com/ohmyzsh/ohmyzsh.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

fix(dependencies): check if repo is clean before committing

pull/12417/head
Carlo Sala 2024-05-12 12:40:45 +02:00
parent 1d31ff6037
commit 0493eab8ce
No known key found for this signature in database
GPG Key ID: DA6FB450C1A4FE9A
1 changed files with 21 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
.github/workflows/dependencies/updater.py vendored
View File

@ -390,6 +390,12 @@ class Git:
clean_env["GIT_CONFIG_GLOBAL"] = "/dev/null" clean_env["GIT_CONFIG_GLOBAL"] = "/dev/null"
clean_env["GIT_CONFIG_NOSYSTEM"] = "1" clean_env["GIT_CONFIG_NOSYSTEM"] = "1"
# check if repo is clean (clean => no error, no commit)
try:
CommandRunner.run_or_fail(
["git", "diff", "--exit-code"], stage="CheckRepoClean", env=clean_env
)
except CommandRunner.Exception:
# Commit with settings above # Commit with settings above
CommandRunner.run_or_fail( CommandRunner.run_or_fail(
[ [