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