Closed wbenoit26 closed 5 months ago
And then just to align commit history, I think it makes sense to merge dev into main? Idk what's good practice here, but nothing actually changes, it just adds and undoes commits.
dev
main
@EthanMarx Let me know if you think this doesn't make sense to do
Also not sure - maybe we just wait for the next time we have enough updates to merge dev into main?
True, that's probably the right call
And then just to align commit history, I think it makes sense to merge
dev
intomain
? Idk what's good practice here, but nothing actually changes, it just adds and undoes commits.