From cc21c723926c2bbc0178b72c7bf80c0548cd1205 Mon Sep 17 00:00:00 2001 From: Anas Nashif Date: Thu, 16 Jan 2025 12:18:44 -0500 Subject: [PATCH] doc: contrib: dco: remove git tip listed as requirements Some of the git tips in this sections do not count as 'requirements'. Signed-off-by: Anas Nashif --- doc/contribute/guidelines.rst | 6 ------ 1 file changed, 6 deletions(-) diff --git a/doc/contribute/guidelines.rst b/doc/contribute/guidelines.rst index 7c215b6cfbb..3cf4f205f21 100644 --- a/doc/contribute/guidelines.rst +++ b/doc/contribute/guidelines.rst @@ -156,12 +156,6 @@ Additional requirements: - If you are altering an existing commit created by someone else, you must add your Signed-off-by: line without removing the existing one. -- If you forget to add the Signed-off-by: line, you can add it to your previous - commit by running ``git commit --amend -s``. - -- If you've pushed your changes to GitHub already you'll need to force push - your branch after this with ``git push -f``. - Prerequisites *************