How to edit plugin information page on https://plugins.jenkins.io

[Tomasz Jurkiewicz]

Hi,

I searched the mailing list, the docs, 

I logged to accounts.jenkins.io, but I can't see a way to edit that.

I might have overlooked that. Can you guide me to the docs that describe it?

--

Tomasz Jurkiewicz

[Slide]

The plugins.jenkins.io site uses the wiki content as the basis for the content for a plugin. So, to update the content on plugins.jenkins.io, you need to edit the wiki page.

--
You received this message because you are subscribed to the Google Groups "Jenkins Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email to jenkinsci-de...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/43464aba-324a-4e18-ad73-0e9a1853a19a%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[Tomasz Jurkiewicz]

Thank you!

I see that indeed there are plugin pages on wiki.jenkins.io, but - how do I set connection between a wiki page and a plugin?

(ie, how the system knows which wiki page belongs to which plugins?)

2017-09-07 16:27 GMT+02:00 Slide <slide...@gmail.com>:

The plugins.jenkins.io site uses the wiki content as the basis for the content for a plugin. So, to update the content on plugins.jenkins.io, you need to edit the wiki page.

On Thu, Sep 7, 2017 at 7:22 AM Tomasz Jurkiewicz <jurkiewi...@gmail.com> wrote:

Hi,

I searched the mailing list, the docs, 

I logged to accounts.jenkins.io, but I can't see a way to edit that.

I might have overlooked that. Can you guide me to the docs that describe it?

--

Tomasz Jurkiewicz

--
You received this message because you are subscribed to the Google Groups "Jenkins Developers" group.

To unsubscribe from this group and stop receiving emails from it, send an email to jenkinsci-dev+unsubscribe@googlegroups.com.

To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/43464aba-324a-4e18-ad73-0e9a1853a19a%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

--
You received this message because you are subscribed to a topic in the Google Groups "Jenkins Developers" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/jenkinsci-dev/qPalGa_Wgjg/unsubscribe.
To unsubscribe from this group and all its topics, send an email to jenkinsci-dev+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CAPiUgVc2AEbB0y6fJCwH8REiPeTUx6AB4Ej1vE13ctiReYs%3Diw%40mail.gmail.com.

For more options, visit https://groups.google.com/d/optout.

--

Pozdrawiam,
Tomek Jurkiewicz

[Slide]

Each plugin wiki page has some metadata similar to below:

{jenkins-plugin-info:pluginId=token-macro|src=github}

On Thu, Sep 7, 2017 at 7:33 AM Tomasz Jurkiewicz <jurkiewi...@gmail.com> wrote:

Thank you!

I see that indeed there are plugin pages on wiki.jenkins.io, but - how do I set connection between a wiki page and a plugin?

(ie, how the system knows which wiki page belongs to which plugins?)

2017-09-07 16:27 GMT+02:00 Slide <slide...@gmail.com>:

The plugins.jenkins.io site uses the wiki content as the basis for the content for a plugin. So, to update the content on plugins.jenkins.io, you need to edit the wiki page.

On Thu, Sep 7, 2017 at 7:22 AM Tomasz Jurkiewicz <jurkiewi...@gmail.com> wrote:

Hi,

I searched the mailing list, the docs, 

I logged to accounts.jenkins.io, but I can't see a way to edit that.

I might have overlooked that. Can you guide me to the docs that describe it?

--

Tomasz Jurkiewicz

--
You received this message because you are subscribed to the Google Groups "Jenkins Developers" group.

To unsubscribe from this group and stop receiving emails from it, send an email to jenkinsci-de...@googlegroups.com.

To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/43464aba-324a-4e18-ad73-0e9a1853a19a%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

--
You received this message because you are subscribed to a topic in the Google Groups "Jenkins Developers" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/jenkinsci-dev/qPalGa_Wgjg/unsubscribe.

To unsubscribe from this group and all its topics, send an email to jenkinsci-de...@googlegroups.com.

To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CAPiUgVc2AEbB0y6fJCwH8REiPeTUx6AB4Ej1vE13ctiReYs%3Diw%40mail.gmail.com.

For more options, visit https://groups.google.com/d/optout.

--

Pozdrawiam,
Tomek Jurkiewicz

--

You received this message because you are subscribed to the Google Groups "Jenkins Developers" group.

To unsubscribe from this group and stop receiving emails from it, send an email to jenkinsci-de...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CAH6wY703DfcaZw3KJz_vkmx6957kHmu%3DP74aMHXjt8hqL53YCw%40mail.gmail.com.

[Daniel Beck]

> On 7. Sep 2017, at 16:33, Tomasz Jurkiewicz <jurkiewi...@gmail.com> wrote:
>
> I see that indeed there are plugin pages on wiki.jenkins.io, but - how do I set connection between a wiki page and a plugin?
> (ie, how the system knows which wiki page belongs to which plugins?)
>

This uses the <url> in the POM of the latest release -- that needs to point to a wiki page.

Known bug is that wiki.jenkins.io (new domain) isn't recognized yet, only wiki.jenkins-ci.org (old domain) is recognized. Should be fixed with the next deployment.

[Daniel Beck]

> On 7. Sep 2017, at 16:37, Slide <slide...@gmail.com> wrote:
>
> Each plugin wiki page has some metadata similar to below:
>
> {jenkins-plugin-info:pluginId=token-macro|src=github}

For the plugin site, that's just being stripped out.