gitgitgadget / git

GitGitGadget's Git fork. Open Pull Requests here to submit them to the Git mailing list
https://gitgitgadget.github.io/
Other
213 stars 134 forks source link

Use a "best effort" strategy in scheduled maintenance #1718

Closed dscho closed 6 months ago

dscho commented 6 months ago

Over in https://github.com/microsoft/git/issues/623, it was pointed out that scheduled maintenance will error out when it encounters a missing repository. The scheduled maintenance should exit with an error, all right, but what about the remaining repositories for which maintenance was scheduled, and that may not be missing?

This patch series addresses this by introducing a new for-each-repo option and then using it in the command that is run via scheduled maintenance.

dscho commented 6 months ago

I wanted to reuse this PR branch in https://github.com/microsoft/git/pull/642/, but when I resolved merge conflicts there, it integrated new commits here, too. So I opened another PR to supersede this here PR, with a different branch: https://github.com/gitgitgadget/git/pull/1719