The Mergify Blog

4 Reflexions on the design of the Merge Queue Freeze

Merge queues are at the center of the value offered by Mergify. The freeze feature we announced a few days ago gives our merge queues a whole new range of possible use cases. You can now make your queues follow your product development life cycle. Though before coming up with

How to handle checks timeout in an evolutive merge queue?

Merge queues are a core component of Mergify. We implement new features regularly to provide new use possibilities. Their core mechanics also need to be adapted to support such evolutions. While testing and ensuring that any pull request fits perfectly into the main branch, time is a dimension that can

Features

Announcing Merge Queue Freezes

Our merge queues have evolved along with Mergify. We've introduced more features to support more use cases. Today we are glad to introduce a new feature to expand even more possibilities. We designed a feature that allows engineering teams to freeze their merge queues to provide more control and security

GitHub

Handling unexpected third party API changes

As you may guess, Mergify relies a lot on third-party APIs like the Stripe API or the GitHub API and their behavior. Like any third-party service, we need to deal with many things to ensure our integration never breaks. The first one that comes to mind is network failures or

GitHub Security Best Practices

Managing a project on GitHub has its challenges. For many, mastering the entire Git workflow alone is enough to keep them busy for quite some time. However, beyond the basics of pulling, merging, commenting, and rebasing, super important security details loom like specters on the horizon, threatening to eradicate your

Open-Source

This is my Workflow: Elastic

Have you ever wanted to be a 🪰 on the wall to see how your favorite open-source projects manage their GitHub workflows? At Mergify, eager to know more about our users, we were always curious to find out how they organize their branches, what tools and processes they employ, and their

How do you automate a pull request?

A pull request makes communication, edits, and debugging more manageable through separate repositories that receive updates from the main repository. Enacting a pull request, though, can be time-consuming. Fortunately, developers can streamline the cumbersome process via pull request automation. Find out how you can expedite daily workflow through an intuitive

They Use Mergify

They use Mergify: Nordic Semiconductor

Every day, major projects use Mergify to automate their GitHub workflow. Whether they have a core team of 3 or 50 people, they all have in common that the project leads are willing to let their developers focus on what’s important—code. So we decided to meet with some

Changelog

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

GitHub

They use Mergify: Wheatstalk

Every day, major projects use Mergify to automate their GitHub workflow. Whether they have a core team of 3 or 50 people, the one thing they all have in common is that the project leads are willing to let their developers focus on what’s really important—code. So we

CI/CD

What is a CI/CD pipeline?

Continuous integration (CI) and continuous delivery (CD) play an instrumental role in most modern software development processes, allowing teams to push critical changes and updates into production code without overlooking vulnerabilities. Both of these components of modern development workflows improve code quality while empowering teams to maintain a consistent release

CI/CD

Why Is CI/CD Important in a DevOps Lifecycle?

Fine-tuning the software development cycle is an ongoing process. You can never perfect it, but you can make continuous improvements. Having a CI/CD best practice in place is one way to streamline the cycle and improve overall efficiency. What is CI/CD?CI/CD refers to a set of

User Story

They use Mergify: Red Hat Hybrid Cloud Console

Every day, major projects use Mergify to automate their GitHub workflow. Whether they have a core team of 3 or 50 people, the one thing they all have in common is that the project leads are willing to let their developers focus on what’s really important—code. So we

Git

Git Commit vs Push: What’s the Difference?

Many coders have used Git at one point or another. In fact, for most, it’s the version control system of choice since it's open-source and easy to use. A common discussion that comes up is Git commit vs push, or more specifically, how the two commands differ. In this

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

User Story

They use Mergify: JoliBrain

Every day, major projects use Mergify to automate their GitHub workflow. Whether they have a core team of 3 or 50 people, the one thing they all have in common is that the project leads are willing to let their developers focus on what’s really important—code. So we

Startup

How to Increase Software Developer Efficiency?

There isn’t a universal formula for software developer efficiency. If there were, sprint cycles wouldn’t be so chaotic with the next deadline always looming like a dark cloud. There are, however, tried and proven strategies for maximizing efficiency in software development. Consider these implementations for your next sprint

Git

How to Merge Branches to Main in Git

Merging is at the core of the version control system Git's feature set. Git is a powerhouse for pushing code improvements and modifications from a local work environment to a remote production server or public repository. However, completing a seemingly simple merge can quickly become a chore if issues arise.

User Story

They use Mergify: Open Government Products

Every day, major projects use Mergify to automate their GitHub workflow. Whether they have a core team of 3 or 50 people, the one thing they all have in common is that the project leads are willing to let their developers focus on what’s really important—code. So we

GitHub

GitHub vs. GitLab

Organizations and individuals all around the world use both GitHub and GitLab to help consolidate and streamline their development activities. GitHub boasts an impressive worldwide audience comprised not only of enterprises but local governing bodies as well. A comprehensive list hosted on github.com shows over 1,000 government agencies

GitHub

How to Compare Two Branches in GitHub

GitHub offers a ton of value through its git-complementing feature set. In fact, without the use of GitHub, it’s likely that quite a lot of distributed development teams would struggle to meet modern demands and make deadlines on a regular basis. However, between Git and GitHub, there are numerous

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

Git

How to Undo a Merge in Git

Merging is essential to every developer's workflow in Git. Without merging, your codebase would wither as contributors come up empty-handed when it comes time to mix their work in with what has already been published. Merging makes this all possible. But merging can also make for a mean headache if

Open-Source

They use Mergify: PyTorch Lightning

At Mergify, we want to show you that companies have different use of our software. Any workflow isn't the same! So for the very first time, we decided to launch a post series called #TheyUseMergify. Enjoy this first one 😁 They use Mergify: PyTorch Lightning Every day, major projects use Mergify

GitHub

How to Push to GitHub: A Short Guide

GitHub has done quite a lot for the developer community over the years, facilitating the kind of collaboration on code that modern dev projects simply could not survive without. GitHub ships tens of thousands of improvements per year to help keep dev teams all over the world from waking up