Merge dev into main, in prep for release 1.0.0 🥳
Part of #890
Notes
We will use GitHub default merge strategy, which adds a merge commit to main branch that is not on dev branch, but this is useful to see exactly what commits were included in the merge and does not affect future merges.
Description
Merge dev into main, in prep for release 1.0.0 🥳
Part of #890
Notes
We will use GitHub default merge strategy, which adds a merge commit to main branch that is not on dev branch, but this is useful to see exactly what commits were included in the merge and does not affect future merges.
Checklist
Have you done the following?