Bananeweizen
commented
7 months ago 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
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