Use main as the default branch #914
Description
Following PyBaMM (PRs 5355 and 5360), let's deprecate the develop branch and use main as the default protected branch. This will simplify the release workflow and reduce confusion between different versions of the examples.