[sr-dev] git:master:4840ea75: .github/CONTRIBUTING.md: section for issue and pr automatic management