This message was deleted.

Thanks for reporting, sorry about the bad experience. Could you share your PR org/repo/number via DM? I know what the issue is & how to fix, and hope to do so by early next week.