Use Case Dealing Faster with Conflicting Pull Requests While we all have a different way of managing our GitHub workflow, we all have to deal with one annoying thing: conflict. When a pull request modifies a file that
Use Case GitHub CODEOWNERS on steroids For the last few years, GitHub has supported a feature named CODEOWNERS. If you never heard of it, it’s a file that you can put in your repository, and
Use Case Automatic merge of GitHub security fixes A few days ago, GitHub announced the release of a new tool to enhance security in your project. GitHub has been providing security vulnerabilities alerts for a while now. Whenever
User Story Why You Should Not Fear Automated Merging Mergify is soon going to celebrate its first anniversary. During that first year, we had tons of conversation with users. We received a lot of feedback from our users, which
Use Case 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
Use Case 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
