miwucs

Any chance of getting this merged? At the very least 25933f8 and 164df7c which are just bug fixes look like they're worth merging.

I had the same issue, it turns out I had a github option to automatically delete branches checked https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/configuring-pull-request-merges/managing-the-automatic-deletion-of-branches Unchecking it solved the problem. But regardless, I don't think staticman...