Johannes Schindelin
Johannes Schindelin
@jnavila FYI I canceled the run that would have updated the now-deleted PR branch and triggered a new `gh-pages` one. Next time, let's do let the workflow make the updates...
@jsoref I lack the time to support `actions/checkout`; Besides, I am no longer working inside GitHub.
@monteiz may I suggest trying a `/preview`?
/allow
> /allow @pks-gitlab I know you don't want to use GitGitGadget, but I couldn't help myself to tease you 😉
I can confirm that this is a rather bad bug that can be easily fixed via https://github.com/microsoft/mimalloc/issues/1025#issuecomment-2768863283. This bug hit [Git for Windows](https://github.com/git-for-windows/git-sdk-32/actions/runs/15433075940/job/43444860355#step:6:34) after I upgraded its vendored-in copy of...