[sr-dev] git:master:05e06cb0: CONTRIBUTING.md: note about personal branches of developers