overleaf/services
Henry Oswald 68c7cc6fa3 Merge pull request #1577 from sharelatex/ho-jenkins-github-connection
point to the web-sharelatex-internal repo for github-> jenkins

GitOrigin-RevId: 9f31bed9296181484baf9dc11d488763f1b57b50
2019-03-11 11:04:10 +00:00
..
web Merge pull request #1577 from sharelatex/ho-jenkins-github-connection 2019-03-11 11:04:10 +00:00