Fix wording about builds and config files in Jenkins CI's config page.
Review Request #13945 — Created June 5, 2024 and submitted — Latest diff uploaded
In the "How To Build" section of the Jenkins CI config page, we had a copy
paste typo saying that the configuration listed here will replace the contents
of the GitHub repository'stravis.ymlfile. It seems that Jenkins doesn't
actually use configuration files in a repository, things just get configured
in GitHub settings and Jenkins settings. So this change updates the wording
for that.
Ran my devserver and looked at the Jenkins CI config page.
Also checked for this typo in Circle CI's config page.