Closed d-torrance closed 4 months ago
Why are the commits on this branch on top of changes from back in May 2023 rather than the main
branch?
Good question! No idea what I did. Thanks for catching this. I'll rebase it here in a moment...
For reference, here is how I merged linearly:
gh pr checkout 61
git push origin HEAD:main
A strange consequence of merging this linearly is that GitHub apparently forgot which commits belonged to this PR! I don't think that's very desirable for historical purposes.
Agreed, though I intentionally wanted to test it on this PR since it seemed least likely to be look up later or need to be reverted.
We update the generated symbols and documentation files and also update the version number of the package to match M2's.