Change branch name of master to stable
Due to the problematic meaning of the word master I'd favor to change our branch which tracks the latest release from "master" to "stable". This also has the advantage of having a meaningful name.
We need to make sure this does not have any negative side effects. Especially CI needs to be checked.