Hi all, after discussing this topic on the list, I would like to make it official.
I propose to name our existing “master” branch to “develop” as this reflects its purpose best. Also I propose to create an additional protected branch called “release” which will contain the latest released version of all content we provide. This vote will stay open for 72 hours. Chris
