Skip to content

Commit

Permalink
Merge pull request #75 from MarkEWaite/use-github-for-plugin-docs
Browse files Browse the repository at this point in the history
Read GitHub pipeline docs from GitHub for plugins.jenkins.io
  • Loading branch information
aaronjwhiteside committed May 9, 2020
2 parents dc04783 + 81b75be commit 1c8487e
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion pom.xml
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,7 @@

<name>Pipeline: GitHub</name>
<description>Pipeline GitHub Support</description>
<url>https://wiki.jenkins.io/display/JENKINS/Pipeline+Github+Plugin</url>
<url>https://github.com/jenkinsci/pipeline-github-plugin</url>

<licenses>
<license>
Expand Down

0 comments on commit 1c8487e

Please sign in to comment.