This message was deleted.

Mm, thanks for bringing this to our attention! @Xiulung Choy /@merrill — let's discuss how we should handle GH auto-merge