@pr-merger/github (npm): Your friendly merging bot
Keywords: bors|merging|merge|pull-request