Disable pull requests

[Bananeweizen]

Description

I would like to disable pull requests in all jgit and egit repositories (except for the .eclipsefnd repos). It seems that is not possible via otterdog directly. Any objections against raising a gitlab issue for doing so?
In other projects like the Apache project I have also seen repositories explicitly being marked as "mirror" repositories in the GitHub UI. Does anyone know how that can be done, and whether that would be useful for our repositories, too?

And when PRs are disabled, is there any possibility of creating a kind of notice/banner to explain what to do instead?

Motivation

avoiding people to create PRs, as has already happened

Alternatives considered

No response

Additional context

No response

[Bananeweizen]

Looking into documentation and discussion, there seems to be nothing in the official settings. We can do all of the following:

• disable forking via Otterdog settings (must be set for each repo)
• create a PR template which explicitly describes that people shall use gerrithub instead
• have a github action to automatically close the PR with a message describing the gerrithub workflow
• create a single pseudo PR which says that PRs will not be accepted

I would try the first 3 in that order, if someone agrees.

[msohn]

Pull requests can also be imported as Gerrit changes by committers here
https://eclipse.gerrithub.io/plugins/github-plugin/static/pullrequests.html
That's a one-way street, AFAIK importing updates of existing PRs is not supported.
To make that clear to the contributor I closed the PR on the GitHub side after importing it into Gerrit
telling the user that the code review and eventually necessary updates have to happen there.

[Bananeweizen]

I really recommend everyone adds the above import URL to his/her own menu settings in gerrithub. E.g. mine starts like this now: