[sr-dev] git:master:0cdd264f: github: update CONTRIBUTING guide as decided on the developer meeting