Yeah, as I thought - If I were the maintainer of that project I would have had no issue with her merging that. But I also understand why PRs exist and process, so I would have said, 'yeah, cool, just don't do it again. Nothing to see here, move along.'