This is pretty neat! Does pr-merger handle the deployment itself? From reading the docs, it seems like the tool merges a bunch of PRs into a single branch, correct?

I'm curious what the whole workflow looks like.