Incidents - LivelyKernel/lively.next GitHub Wiki
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: