Skip to content

Incidents

Linus Hagemann edited this page Jul 19, 2023 · 1 revision

07-19-2023

We needed to alter the history on the main branch due to the inclusion of outdated, falsely existing commits that were "merged twice". During this operation, we changed the order of some commits to an order different from the original merge-order of their PRs. The new order in which the "PRs have been merged" is now: