Skip to content

Draft: v1

jon r requested to merge dev into main

main now is comprised of two commits: the initial commit and a squased representation of everything that happened before we touched this repository in 56394e15

This way future branches off main do not bring unrelated history, allowing for depreciating the current dev into a history branch to be created anew.

git checkout ae977875c78bd5e241d4ffa8120ec5594c6a0d35
git switch -c main
git merge --squash 43d0d2dfa1eef4279bf393a2a24df1197673b900
git push -f -u origin main

Just an offer.

Below we see everything we did since beginning, without much distraction from other steps that lead there.

Merge request reports