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

Document that issues should/may open in root-project/root and PR should be open in root-project/root in general #529

Open
SimeonEhrig opened this issue Jul 4, 2024 · 0 comments
Assignees

Comments

@SimeonEhrig
Copy link
Contributor

I really often read, that it is better to open a issue in root-project/root. So this should be documented. If it makes sense also disable issues for root-project/cling.

PR's should be disabled in general, because the workflow, first open a PR in root-project/root, merge it and it will be automatically back ported. This needs also be documented. At the moment the PR workflow is insider knowledge.

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

3 participants