Skill: pr-converge
Author: chrisgleissner
Description: Converge an open pull request to merge-ready state.