search

eclipse-jgit / jgit

JGit, the Java implementation of git
https://www.eclipse.org/jgit/
Other
127 stars 37 forks source link

Bugzilla migration incomplete #29

Open ewillink opened 7 months ago

ewillink commented 7 months ago

Version

default

Operating System

Windows

Bug description

https://projects.eclipse.org/projects/technology.jgit/developer "Report a Bug" etc fails

https://projects.eclipse.org/list-of-projects?combine=jgit&field_project_techology_types_tid=All&field_state_value_2=All "Report an issue" fails

Actual behavior

xyzzy

Expected behavior

xyzzy

Relevant log output

xyzzy

Other information

xyzzy

msohn commented 7 months ago

Thanks for the heads up. Unfortunately I don't know how to fix this in PMI. I asked Sebastien for help.

msohn commented 7 months ago

@heurtematte Sebastien do you know how we could fix the links shown in PMI which still refer to Bugzilla ?

wetneb commented 6 months ago

The CONTRIBUTING.md should be updated and I submitted a patch here: https://eclipse.gerrithub.io/c/eclipse-jgit/jgit/+/1177977

I would also recommend to disable pull requests on this repository if changes are meant to be submitted on GerritHub.

msohn commented 6 months ago

How can pull requests be disabled ? Didn't find anything in the GitHub documentation.

wetneb commented 6 months ago

My bad, I thought it was possible but I mixed up: it's Issues that can be disabled, not PRs.

heurtematte commented 6 months ago

@heurtematte Sebastien do you know how we could fix the links shown in PMI which still refer to Bugzilla ?

Can you open an helpdesk ticket? The webbdev team will look into it.