jenkinsci / pipeline-github-plugin

Pipeline: GitHub
https://plugins.jenkins.io/pipeline-github/
MIT License
159 stars 73 forks source link

fix(triggers): handles github repos with mixed case org and repo names #94

Closed aaronwalker closed 3 years ago

aaronwalker commented 3 years ago

It's possible to create a pipeline job using github url that is all lowercase even if on github the org or repo is actually mixed case. Github will include org and repo name using the mixed case version in any events it sends and therefore when the jobs that need to be triggered are looked up they don't match.

I think its better to ignore the case when looking up which jobs to trigger since github really ignores the org/owner case anyway

aaronjwhiteside commented 3 years ago

thanks for this @aaronwalker !