Our GitHub merge workflow

Our GitHub merge workflow

Here at Authzed we’ve become heavy users of GitHub. We have many public, open source repos (including SpiceDB), a private, internal monorepo, and the accompanying workflows for each repo built on top of GitHub actions. Our development workflow also revolves around GitHub issues and pull requests.

Managing GitHub settings and distributed software development should be as straightforward as the zipper merge but sadly it isn’t.

(This analogy might not apply if you live in [insert city with bad drivers here].)

We thought it’d be useful to share our current pull request and merge workflow and how we arrived at it. And we have a request for the community at the end of this post.

Development workflow

First, a bit about our development workflow. We use GitHub Actions to run tools for testing and code quality, with a continual push to automate as much of our workflow as possible. Looking at the workflows in the SpiceDB repo as an example, you can see a good representation of the variety of concerns handled by automation: building, linting, testing, compliance, and releasing. And we’re not just users of GitHub actions but authors of some custom actions as well.

SpiceDB Validate: this action validates SpiceDB schemas using test data.

SpiceDB: this action runs a SpiceDB server to use during integration testing.

Second, we are firm believers in code reviews. We typically use one pull request per feature and view the interaction during the review process as the perfect opportunity to share knowledge: the reviewer gets to learn about the code changes as well as the author getting to express the intent of the change.

  1. A pull request can start as a draft which allows the author to push intermediate changes to get feedback from the actions run on each commit.
  2. The draft PR is marked as Ready for Review when the feature is complete and a reviewer is assigned.
  3. The reviewer checks out the PR branch, runs it in their local workspace, and kicks the tires while reviewing the code.
  4. We do our best to maintain a 24 hour turnaround time for reviews and there may be several back and forths based on the reviewer’s feedback.
  5. Finally, to emphasize the expectation that a PR is a self-contained, complete feature, anyone (but usually the reviewer) can merge an approved PR.

Merge workflow

Quality vs Velocity Quality + Velocity: quality and velocity do not have to be in tension but can be counterparts. The aim of our merge workflow is to maintain strict quality standards while enabling the team to consistently deliver code. Confidence in our quality enables us to deliver more quickly, which gives us the time and momentum to continue investing in quality improvements. (Who doesn’t like a flywheel?).

The following is our repo and branch protection settings we’ve landed on:

Pull requests

GitHub settings

Allow merge commits, disable other options

  • ✅ Merge commits provide a clear record of development history: incremental commits are maintained and the introduction to the main branch is captured
  • ❌ Squash merging loses feature branch development history
  • ❌ Rebase merging doesn’t record the moment of feature integration

Enable auto-merge

  • Frees the developer/reviewer from attending to the status checks of PRs
  • Note: this option must be used in tandem with requiring branches to be up to date before merging, otherwise a branch with stale passing checks can be merged onto the main branch

Branch protection

GitHub settings

Require a pull request before merging / Require approvals

  • See the above section on code review.

Dismiss stale pull request approvals

  • We want a PR to be a fully contained change. PRs should be mergeable and therefore complete as they are reviewed. Partial PRs don’t count
GitHub settings

Require status checks to pass

  • This setting acts as “require the selected status checks to pass”, not “require all status checks on the PR to pass”. This may be significant if different sets of status checks apply to certain PRs. For example, PRs that update a particular subdirectory in your repo may run additional checks. These additional checks would not be checked by this setting.

Require branches to be up to date before merging

  • Prevents merging with stale passing checks

Include administrators

  • Admins are not immune from making mistakes

❗Disable Allow force pushes and Allow deletions

Our merge workflow works well…for now. It strikes a good balance between completeness of checks without requiring too much developer intervention. However, we already know we’ll need to update our workflow sooner than later. When multiple PRs are ready to merge, we have a race to see which PR can merge first. Losers of that race then have to rebase, run all checks again, and race to merge again. Thankfully for the developer, GitHub provides easy to use buttons to update the PR branch and automatically re-runs actions. Nonetheless, this is an unnecessary use of computing resources and time.

On to the next

Short answer: we’ve gone shopping for a merge queue solution. The plethora of anecdotes from engineering teams indicates we’re not alone in concluding a merge queue addresses the aforementioned issues but we find ourselves with a paradox of choice.

Do you have a recommendation for a merge queue service or solution? Any additional merge workflow anecdotes to add? We’d appreciate your input so drop into our Discord channel!

If there is a lesson to takeaway for now: it’s never too early to set up a good merge workflow.

Hopefully with your input we can find the merge queue solution for us and keep our dev flywheel spinning quickly.

Recent Blog Posts