Branch: refs/heads/master
Home: https://github.com/jenkinsci/github-plugin
Commit: 92a6d3ce47fcdcd7c088c7f7e95fee291e60220c
https://github.com/jenkinsci/github-plugin/commit/92a6d3ce47fcdcd7c088c7f7e95fee291e60220c
Author: Code Hugger (Matthew Jones) <[email protected]>
Date: 2020-05-08 (Fri, 08 May 2020)
Changed paths:
M
src/main/resources/org/jenkinsci/plugins/github/config/GitHubPluginConfig/help.jelly
Log Message:
-----------
Update previously used name for Github trigger option
This name looks like it was changed from "Build when a change is pushed to
GitHub" to "GitHub hook trigger for GITScm polling" a few years ago.
However in Configure System under the Github plugin it still has the wrong text
when clicking the help button.
This confused me today and looks like it's been confusing for a few years now
from [Stack
Overflow](https://stackoverflow.com/questions/30576881/jenkins-build-when-a-change-is-pushed-to-github-option-is-not-working)
Commit: 039cd6fc0130913c9e9566752abc26681c4a4537
https://github.com/jenkinsci/github-plugin/commit/039cd6fc0130913c9e9566752abc26681c4a4537
Author: Kanstantsin Shautsou <[email protected]>
Date: 2020-05-10 (Sun, 10 May 2020)
Changed paths:
M
src/main/resources/org/jenkinsci/plugins/github/config/GitHubPluginConfig/help.jelly
Log Message:
-----------
Merge pull request #231 from jonespm/patch-1
Update previously used name for Github trigger option
Compare:
https://github.com/jenkinsci/github-plugin/compare/e9a4ec1fe5fc...039cd6fc0130
--
You received this message because you are subscribed to the Google Groups
"Jenkins Commits" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/jenkinsci-commits/jenkinsci/github-plugin/push/refs/heads/master/e9a4ec-039cd6%40github.com.
