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