From 155665d3063539540116ad092360424bcaf8a0d7 Mon Sep 17 00:00:00 2001 From: Jorge Campo <62282406+jorge-campo@users.noreply.github.com> Date: Sun, 14 May 2023 10:52:13 +0200 Subject: [PATCH] Clarify that external contributors must fork the repository as they lack permissions to push their changes in the repo. --- Contributing.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Contributing.md b/Contributing.md index 7b4cb70..d957785 100644 --- a/Contributing.md +++ b/Contributing.md @@ -1,6 +1,9 @@ # Pull requests To contribute, clone the repository, make your changes, commit and push to your clone, and submit a pull request. +> **Note** +If you're not a contributor to this repository, you need to fork and clone the repository before pushing your changes. For more information, check out [Contributing to Projects](https://docs.github.com/en/repositories/creating-and-managing-repositories/cloning-a-repository) in the GitHub documentation. + * If you are adding a lot of code, **consider making it an [extension](Extensions) instead**. * Do not add multiple unrelated things in same PR. * PRs should target the `dev` branch.