diff options
author | Silvan Mosberger <silvan.mosberger@tweag.io> | 2023-08-13 22:32:45 +0200 |
---|---|---|
committer | Silvan Mosberger <silvan.mosberger@tweag.io> | 2023-08-13 22:32:45 +0200 |
commit | 2f345d070bf64051884867f3f3087932638c999c (patch) | |
tree | 73b1bc191879ff4c28dbea90e9aa18faee2e9e28 /CONTRIBUTING.md | |
parent | 4e3064d1b9eff6af9b54e15c2597a7a7079d028d (diff) |
CONTRIBUTING.md: Remove duplicated section
How to force push to PR's is already explained in the
"How to propose a change" section at the beginning
Diffstat (limited to 'CONTRIBUTING.md')
-rw-r--r-- | CONTRIBUTING.md | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 5f4cb6d07df6..2d4829e2cede 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -347,13 +347,6 @@ for review, which allows you to sidestep this issue. This is not a bulletproof method though, as OfBorg still does review requests even on draft PRs. ``` -### Hotfixing pull requests - -- Make the appropriate changes in you branch. -- Don’t create additional commits, do - - `git rebase -i` - - `git push --force` to your branch. - ## Reviewing contributions > **Warning** |