Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Bugzilla migration incomplete #29

Open
ewillink opened this issue Feb 26, 2024 · 6 comments
Open

Bugzilla migration incomplete #29

ewillink opened this issue Feb 26, 2024 · 6 comments

Comments

@ewillink
Copy link

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
Copy link
Member

msohn commented Feb 26, 2024

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

@msohn
Copy link
Member

msohn commented Feb 28, 2024

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

@wetneb
Copy link
Contributor

wetneb commented Mar 11, 2024

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
Copy link
Member

msohn commented Mar 11, 2024

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

@wetneb
Copy link
Contributor

wetneb commented Mar 11, 2024

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

@heurtematte
Copy link

@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.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

4 participants