pr-merge
GitHub App
pr-merge
GitHub App
A probot app to congratulate users on pr merge and remind them to delete branch
Developer
pr-merge is provided by a third-party and is governed by separate terms of service, privacy policy, and support documentation.
Report abuse