mashehu
07/24/2026, 12:22 PMpatch to the default branch to fix this issue. We will try to do that on as many pipelines as possible, feel free to do merge them yourself when you see them.
Since this is just related to CI, the changes in `main`/`master` do not require a new release.Simon Pearce
07/24/2026, 12:29 PMIgor Trujnara
07/24/2026, 12:44 PMmashehu
07/24/2026, 12:45 PMmashehu
07/24/2026, 12:49 PMdev (if it is a released pipeline), so the changes will not get lost in a merge from dev to `main`/`master`. that second one is only triggered once the default branch has been updated.Rike Hanssen
07/24/2026, 1:30 PMmashehu
07/24/2026, 1:33 PMSimon Pearce
07/24/2026, 1:35 PMRike Hanssen
07/24/2026, 1:37 PMmashehu
07/24/2026, 1:37 PMRayan Hassaïne
07/24/2026, 3:08 PMFlorian Wuennemann
07/24/2026, 7:31 PMdev but molkart has a release so its master. Are the patches to master still incoming?Stephen Watts
07/24/2026, 11:15 PMmaster and dev branchesStephen Watts
07/24/2026, 11:15 PMmaster to main for the default branch that anyone can point me to)Rike Hanssen
07/25/2026, 11:12 AMMargherita Mutarelli
07/26/2026, 9:58 AMSimon Pearce
07/27/2026, 5:43 AMRike Hanssen
07/27/2026, 7:08 AMIgor Trujnara
07/27/2026, 7:18 AMmashehu
07/27/2026, 7:26 AMMargherita Mutarelli
07/27/2026, 8:52 AMmashehu
07/28/2026, 2:38 PMdev branch with the fix to have the same shared ancestor as the default branch (if != dev) to avoid weird git issues and keeping the history clean)mashehu
07/28/2026, 2:45 PM