This message was deleted.

I'm sorry you are hitting this. I will look into it. Can you DM me a PR where you hit this? Also, do you know if you are performing a regular merge or using our merge queue? And are you attempting to merge a single PR or a stack of PRs?