Tutorials
Step by step, we explain how to do specific tasks related to software development and GitHub utilization.
How to Use GitHub Issues
Planning a project of any kind can be time-consuming. This is especially true in the development sphere, where details are often of critical importance. At a minimum, planning a project tends to involve setting objectives, defining timeframes, and specifying tasks to be performed. GitHub Issues accommodates these actions and more
Freezing your GitHub repository merges
Freezing your GitHub repository could mean a lot of things. In that case, I'm not talking about putting it on ice or sending it to GitHub's Artic Code Vault. No, that's not the point here. As controlling the merge flow becomes increasingly important, many
Replacing Phabricator Herald rules
If you never heard of Phabricator, you might not be alone. I admit I only started to hear about it recently, while the project started in 2010. Phabricator is essentially a forge, a suite of web-based developments collaborators tools, including multiple tools to do code reviews, track bugs or browse
Using Git Reflog to Find a Lost Commit
Handling commits and branches is at the core of a developer’s efforts when they use Git as a version control system. Whether you’re working locally and preserving changes for later inclusion in another branch via a merge or managing a remote repository with many different contributors, the need
Restoring Deleted Files from Git
Git is a great way to track and control the development of any type of software project, but issues like accidentally deleted files can quickly make for major headaches in your workflow. Thankfully, Git offers some simple solutions that you can use whenever you need to. We'll describe
Running GitHub Actions only on Certain Pull Requests
GitHub Actions is powerful and allows you to run various workflows on your pull requests. There is an entire marketplace of actions that you can use, reuse, and abuse. GitHub Actions became a defacto standard for many developer teams that want to run jobs when creating a pull request. This
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
Handling unexpected third party API changes
As you may guess, Mergify relies a lot on third-party APIs like the Stripe API [https://stripe.com/docs/api] or the GitHub API [https://docs.github.com/en/rest] and their behavior. Like any third-party service, we need to deal with many things to ensure our integration never breaks.
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
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
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
How to Compare Two Branches in GitHub
Try For Free