You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
Merge main into v2/main so main-source.yml shares history and the v2.0.0 merge is clean #5171
The v2.0.0 merge PR (#5166) stopped being a pure merge after #5169. git merge-tree --write-tree origin/main origin/v2/main reports an add/add conflict in .github/workflows/main-source.yml:
The last commit main and v2/main share is the v1.0.0 merge (89701afa). It has no main-source.yml.
Activity
Merge main into v2/main so main-source.yml shares history (modelconte…