Merging Bots’ Pull Requests Automatically
Nowadays, there is a large number of online services that help you keep the dependencies list of your project up to date. Their goal is to make sure that you deploy your software with libraries and frameworks that do not suffer from major bugs and security flaws. Among them, you
Merging Pull Requests on Requested Reviewers Approvals
A few weeks ago, a Mergify user came to us with the following problem: > When a pull request is opened, we usually assign a few reviewers to it using GitHub user interface. What we’d like, is the pull request to be merged as soon as those reviewers approved
Keep Your Repository Clean: Delete Your Merged Branches!
When you create a pull request in GitHub, you start building commits on top of a branch that is called the base branch. That new branch that contains your new code is called the head branch. Your goal is to merge the head branch into the base branch. The base
Announcing the New Mergify Engine
Today’s the big day for Mergify! We’re starting our brand new engine, built from fantastic engineering skills and the feedback provided by our users. As we announced a few days ago [https://blog.mergify.io/a-sneak-peek-at-the-new-mergify/], we’ve transformed Mergify into a complete workflow framework for GitHub. You
A Sneak Peek at the New Mergify
As I wrote a few weeks before, the Mergify team is working hard to bring new functionalities into the product. We conversed with many of our customers those last weeks and did our best to consolidate all the feedback we received into our roadmap. Now that we’re finalizing the
What’s Cooking in Mergify?
The hot summer passed, and it’s now time to come back and cook some marvelous pull requests for your favorite projects!