sindresorhus/refined-github

The issue has been closed

Merge multiple pull request #2563

Androz2091 posted onGitHub

I have several projects and I use DependaBot for dependency management. I usually have about fifteen pull requests per month and I have to merge them on all my projects. I don't know if it's possible, but a "Merge selected pull request" button would be very useful to save time!

Example URL:

https://github.com/user/repo/pulls

Batch-merging PRs is not advisable. If you want to automatically merge bot PRs you can probably use another bot to do so

posted by fregante over 5 years ago

Why is it not advisable? I don't want to merge automatically I want two or even three merge at once

posted by Androz2091 over 5 years ago

It's also a security issue, as merging without looking at the diff, means a bot can easily sneak in some malicious code.

posted by sindresorhus over 5 years ago

Fund this Issue

$0.00

Funded

Pull requests

Company

Community

Support

FAQ Terms of use Privacy policy Code of conduct Credits

Connect

Facebook Twitter

© 2019 BoostIO, Inc.