Github: Change in branch workflow

For anyone working with the code repos, please note that we’ve just changed from a practice of using a dev branch for day-to-day development, and instead just using main for this instead. By and large, main is the only branch you’ll need to interact with (unless you’re managing releases), and this should present less friction with tools.

(Releases will live on a production branch, FYI)