On Tuesday, March 10, 2020 at 3:21:34 AM UTC-6, James Nord wrote:
>
> > Skip labels provided by parents - When a plugin depends on another
> plugin, the dependency will be installed automatically. A label is not
> required on the dependency if the consuming plugin has the label
>
> but if the
On Tuesday, March 10, 2020 at 2:23:10 AM UTC-6, Oleg Nenashev wrote:
>
> I suggest to discuss it at the next Docs SIG meeting (Mar 13). Sorry that
> I did not follow-up timely.
>
I've added it to the agenda for the next Docs SIG meeting, March 27, 2020.
We've shifted Docs SIG meetings to
Thanks all!
One thing to consider for the future is the plugin's documentation
migration to GitHub.
It is quite easy to do that using the migration tools provided by the
Jenkins project.
FTR https://jenkins.io/blog/2019/10/21/plugin-docs-on-github/
Best regards,
Oleg
On Monday, March 9, 2020
> Skip labels provided by parents - When a plugin depends on another plugin,
> the dependency will be installed automatically. A label is not required on
> the dependency if the consuming plugin has the label
but if the parent can be used without the child (extension) then how does that
I suggest to discuss it at the next Docs SIG meeting (Mar 13). Sorry that I
did not follow-up timely.
Which plugins should be labeled 'github'?
> Any plugin that might help a GitHub user get more value from GitHub. For
> example, "Basic Branch Build Strategies" is not specific to GitHub but
>