GitHub Issues

Michael Kriese

unread,

Mar 13, 2024, 4:00:29 AM3/13/24

to Jenkins Developers

Hi,

Is there a way to only use GitHub issues instead of Jira?

So to link to GitHub issues from plugin site?

I don't like Jira. 🙃

Regards

Michael Kriese

unread,

Mar 13, 2024, 4:08:52 AM3/13/24

to Jenkins Developers

Found it.

- https://maven.apache.org/pom.html#issue-management

- https://github.com/jenkinsci/publish-over-ssh-plugin/blob/d6d29fda86b3db5e19d9130ca80ad7915eb1197c/pom.xml#L122

Daniel Beck

unread,

Mar 13, 2024, 4:55:43 AM3/13/24

to jenkin...@googlegroups.com

On Wed, Mar 13, 2024 at 9:08 AM 'Michael Kriese' via Jenkins Developers <jenkin...@googlegroups.com> wrote:

Found it.

- https://maven.apache.org/pom.html#issue-management
- https://github.com/jenkinsci/publish-over-ssh-plugin/blob/d6d29fda86b3db5e19d9130ca80ad7915eb1197c/pom.xml#L122

Nope, those are ignored.

Real solution is https://github.com/jenkins-infra/repository-permissions-updater?tab=readme-ov-file#managing-issue-trackers

Michael Kriese

unread,

Mar 13, 2024, 7:23:59 AM3/13/24

to 'Daniel Beck' via Jenkins Developers

Thanks

--
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/V-u3uOF6Aoo/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/CAMo7PtJqNJJPhpzX%3DhLQ1qQDtTX%3D-iactKYxaUgBwvHKuJtMpw%40mail.gmail.com.

Reply all

Reply to author

Forward