Modify jenkinsfile to post required PR status to GitHub (#891)
Modify jenkinsfile to post required PR status to GitHub (#891)

* Modify jenkinsfile to post required PR status to GitHub

SonarSource-VisualStudio/sonarlint-visualstudio