Closed allcontributors[bot] closed 3 months ago
I don't want to deal with resolving conflicts in the generated HTML. I'll just have the bot start over :)
@all-contributors please add @mfisher87 for bug, code, doc, maintenance, test, infra
@mfisher87
@mfisher87 already contributed before to bug, code, doc, maintenance, test, infra
Hm. I'll generate the changes manually then. Easier than conflict-resolution on that HTML :laughing:
I'll generate the changes manually then.
For future reference I believe if you close the PR and delete the branch first then the bot will re-open a new branch and PR.
Ah. I think the problem was I didn't delete the branch. Thanks :)
Adds @mfisher87 as a contributor for bug, code, doc, maintenance, test, infra.
This was requested by JessicaS11 in this comment
[skip ci]