should we ditch the develop branch?

[bbelderbos]

and just work with master / main and feature branches?

[bbelderbos]

@dundermain I merged your PR into develop, there does not seem a trigger to merge develop into main. I think we should go back to only main + (feature) branches, so ditch develop, what do you think?