diff options
-rw-r--r-- | round-robin.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/round-robin.sh b/round-robin.sh index 452b6973..c058a3d9 100644 --- a/round-robin.sh +++ b/round-robin.sh @@ -1260,7 +1260,7 @@ update_baseline () # Remove directories starting with number from $old_commit # and older. - git -C base-artifacts checkout -detach $old_commit + git -C base-artifacts checkout --detach $old_commit git -C base-artifacts filter-repo --force \ --invert-paths --path-regex '^[0-9].*' \ --refs HEAD |