Julien Danjou - The Mergify Blog

Mergify Changelog 2022Q1

Now's the time to wrap the first quarter of 2022, and it's been a blast. We continued to grow, welcomed new people to the Mergify team, and shipped a few new features. We are proud to power more and more engineers teams worldwide with our automation tooling! Now, let's dive

Startup

Our 10 Heroku Tips & Tricks

Since its inception, the Mergify engineering team decided to focus on its product and not spend time building infrastructure. It made a lot of sense as we started as a small team of two engineers with low resources and that the first version of Mergify was an MVP. While your

Changelog

Mergify Changelog 2021Q4

The last quarter of the year is now wrapped up, and it's time to wish everyone a happy new year. We want to start this changelog edition by looking back to a year ago. Our number of users doubled over the year, which came with its pack of challenges. We

Use Case

Why your team size is irrelevant

When you work on software helping other software engineers, you end up having an excellent understanding of your craft. At Mergify, we talk to a dozen engineering teams every month, putting us in a pretty good position to understand their problems. This also gives us an average picture of what

Changelog

Announcing Mergify's SOC 2 Type II Certification

As security is everyone's priority at Mergify, we are thrilled to announce that Mergify is now SOC 2 Type II certified. This is a huge milestone for the team and a continuity in our commitment to maintaining a high level of trust with our partners, users, and customers. We have

Changelog

Transition to mergify.com

Sometimes, you don't need a long blog post. 🤷 This is a public statement to announce that we are transitioning our domain name from mergify.io to mergify.com over the upcoming months. This migration will be transparent to our users. That's all folks. You've been warned.

GitHub

GitHub announces Pull Request Merge Queue

When you work for so long on the GitHub platform, you see signs nobody can see. It turns out we spotted weeks ago that GitHub was working on its own implementation of merge queues. We were thrilled to see their announcement last week on their roadmap. Merge queues are finally

Changelog

Mergify Changelog 2021Q3

Time flies, and this is the last update before we close the 2021 year. That's exciting! This quarter was no exception to the rule, and Mergify continued to grow in its number of users, repositories, and automated pull requests. We're thrilled to see more and more users leveraging our engine

GitHub

Understanding the GitHub Pull Request Workflow

GitHub allows developers around the world to streamline their development pipelines and maintain a solid history of their projects even while collaborating with many other individuals and teams. However, Git can only take a team so far; it’s a tool that can be used effectively or ineffectively, depending on

GitHub

How to solve Linus Torvalds' issues about GitHub

While Linus Torvalds is well-known for Linux, he's also reputed for not having his tongue in his pocket. He is often complaining loudly about what he thinks is wrong or damageable to the industry. As the creator of Git 15 years ago, it's interesting to hear what he recently stated

Git

What Is a Git Merge Fast Forward?

A Git fast forward is an extremely useful and efficient mechanism for harmonizing your project's main branch with changes introduced in a given feature branch. Git makes ample use of fast-forwarding merges behind the scenes, speeding up your development workflow in the process. Fast-forward merges can help keep your commit

GitHub

The Best GitHub Productivity Tools

To get the most out of GitHub, it helps to choose the right tools. Developer productivity tools abound, but not all of them are worth adopting to improve your workflow. You can use the best productivity tools for programmers to enhance almost any part of your development process, including getting

Open-Source

The Next Decade of Continuous Integration

I remember officially switching my professional career from being a Linux system administrator to a Python software engineer. It was ten years ago when I decided that rebooting servers was dull. Watching the software engineering team working next to me, seeing them doing git commit -a -m 'friday night commit'

Git

How to Resolve a Merge Conflict?

GitHub makes collaborating with many different people on a single piece of code or software much easier by managing the details involved in version control alongside your project's evolving history. This makes it especially useful for comparing code changes as they come in and sorting out differences between code submissions

Open-Source

Which Open Source License Should You Use for GitHub Project?

Choosing a distribution license for the software you publish on GitHub can seem confusing at first. After all, there are quite literally hundreds of licenses to choose from, all of which are suitable for different purposes and grant users of your code unique rights. For first-time code publishers, it can

Changelog

Mergify Changelog 2021Q2

The second quarter of 2021 has finished. As usual, we got pretty busy and shipped a lot of new features. This quarter has been marked by a massive increase in our number of users and, therefore, our workload. We spent quite some time preparing for significant improvements in our processing

Git

Code Review Best Practices

Adopting the right code review best practices can drastically speed up your review process while also improving the quality of your reviews. Often enough, code reviews can become areas of contention among members of your team, prompting them to become defensive about work they’ve done or changes they may

GitHub

How to Pick your GitHub Merge Methods

GitHub merge methods can be tough to choose correctly. Implementing the wrong merge method on your project's main branch can detract from your team's ability to follow along and contribute. In other words, using the wrong merge method for the occasion defeats the entire purpose of Git—namely, seamless collaboration

Git

How To Write Good Commit Messages

Good commit messages make a big difference in your team's ability to stay on top of changes to your codebase. However, coming up with useful and understandable messages is often easier said than done, especially when you’re hard at work. Luckily, there are a few tricks to getting your

Use Case

How To Automatically Merge GitHub Security Updates

Managing security updates on GitHub can get hectic in a hurry as third-party dependencies develop at their own pace, separate from your project. Leaving vulnerable dependencies unpatched can open your entire application up to otherwise avoidable threats, but manually reviewing and merging such updates can quickly eat up all of

GitHub

The Best GitHub Actions You Should Use

GitHub Actions are a collection of tools that help you streamline your development workflows through automation. These actions are event-driven, meaning they’ll trigger upon certain things happening. There are tons of GitHub Actions you can use—here are some of the best. 1. CheckoutEverybody knows about Checkout. It's the

Git

What is a Merge Queue?

Do you happen to know the common point between the open-source Node.js and Rust projects, the sporty social network Strava, the e-commerce company Shopify and the ride-hailing company Uber? Their engineering team all rely on a merge queue. Well, if you never heard of such a concept, you might

Git

What's the Best Git Merge Strategy?

Once developers have completed work on project features and you’ve approved their pull requests, it’s time to merge those requests into the main project repository. When doing so, Git has to find a base commit shared by two or more commits and then connect the two branches. Git

GitHub

Replacing Dependabot Preview auto-merge feature

We all knew it was going to happen anyway. GitHub just pulled the plug and removed Dependabot Preview. Dependabot was absorbed by GitHub 2 years ago now, and it seemed logical to phase out the Preview version of it. More than 30,000 organizations relied on this fabulous tool to

GitHub

The Best GitHub Marketplace Apps You Should Use

GitHub is a powerful tool for streamlining project collaboration among development teams. However, you can expand your capabilities even more by adding the right apps and tools to your GitHub repositories. With hundreds of apps available, though, which ones do you choose? Sifting through them all and keeping track of