Skip to content

Conversation

mhucka
Copy link
Contributor

@mhucka mhucka commented Oct 2, 2025

This resolves #1138.

mhucka added 3 commits October 1, 2025 15:55
This prevents a certain confusing workflow warning on GitHub.
The repository default branch is being changed to `main`.
Copy link

Check out this pull request on  ReviewNB

See visual diffs & provide feedback on Jupyter Notebooks.


Powered by ReviewNB

@mhucka mhucka marked this pull request as ready for review October 2, 2025 14:11
mhucka added 3 commits October 2, 2025 07:32
I didn't touch this file, but I guess the change in branch names
triggered `check/format-incremental` to run on everything, and it found
some problems.
Copy link
Contributor

@pavoljuhas pavoljuhas left a comment

Choose a reason for hiding this comment

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

LGTM, thank you! IIRC, a similar update will be needed for internal doc-building jobs. Cirq had a similar change of the default branch so it might be useful as a reference for that.

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.

Branch 'master' will be renamed to 'main' on October 1, 2025
2 participants