From f2c19946ab80e2e02de87acdc3f61d6d96a6ff2d Mon Sep 17 00:00:00 2001 From: the-real-herowl Date: Sun, 19 May 2024 03:14:40 +0200 Subject: [PATCH] Small contributing guidelines update --- CONTRIBUTING.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 8b6819c56..cd6eb1801 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -276,6 +276,9 @@ on them isn't valuable), but when in doubt prefer merging * Manual merging may be done by a Maintainer if there are technical problems with the branch, with Gitea, or the PR had been merged to from master and the author can't fix it for whatever reason +* PR from a fork (usually the author has no contributor/developer privileges) +can be retargeted and merged first into a buffer (normal new) branch on the repo +when adopted by a Developer, and only later into master * Submodules should only be used if a) upstream is highly reliable and b) it is 100% certain that no VL specific changes to the code will be needed (this has never been the case before, hence VL is submodule free so far)