Skip to content

Rename detsys-main to main#164

Merged
grahamc merged 1 commit intodetsys-mainfrom
rename-to-main
Jul 31, 2025
Merged

Rename detsys-main to main#164
grahamc merged 1 commit intodetsys-mainfrom
rename-to-main

Conversation

@grahamc
Copy link
Member

@grahamc grahamc commented Jul 31, 2025

Motivation

This change brings our Determinate Nix source repository in line with our standard branch naming. One reason we used detsys-main was to avoid confusion in case the upstream NixOS/nix repository changed its default branch to main. I don't anticipate that happening any time soon if ever, and so let's make the change.

Context

Having this repo have a different branch name has a non-zero cost for humans ("oh right, different branch") and code to account for it.

Since we're shifting to internally run from trunk() (hi, jj) in more places, it's a "do it or don't" moment. I choose to do it.

This change brings our Determinate Nix source repository in line with our standard branch naming.
One reason we used detsys-main was to avoid confusion in case the upstream NixOS/nix repository changed its default branch to main.
I don't anticipate that happening any time soon if ever, and so let's make the change.

Having this repo have a different branch name has a non-zero cost for humans ("oh right, different branch") and code to account for it.

Since we're shifting to internally run from `trunk()` (hi, jj) in more places, it's a "do it or don't" moment.
I choose to do it.
@github-actions
Copy link

@github-actions github-actions bot temporarily deployed to pull request July 31, 2025 16:38 Inactive
@grahamc grahamc added this pull request to the merge queue Jul 31, 2025
Merged via the queue into detsys-main with commit ad13049 Jul 31, 2025
33 checks passed
@grahamc grahamc deleted the rename-to-main branch July 31, 2025 17:09
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

You forgot to change the perpetual PR number on line 201. Fixed in #166.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants