Przeglądaj źródła

Remove outdated information about PRs

The contents are outdated and irrelevant since the "best practice" is
automatically enforced.

Documenting the PR flow is out of the Best Practices guide.
Rodolfo Carvalho 8 lat temu
rodzic
commit
8734fb6a7e
1 zmienionych plików z 0 dodań i 16 usunięć
  1. 0 16
      docs/best_practices_guide.adoc

+ 0 - 16
docs/best_practices_guide.adoc

@@ -11,22 +11,6 @@ All new pull requests created against this repository MUST comply with this guid
 This guide complies with https://www.ietf.org/rfc/rfc2119.txt[RFC2119].
 
 
-== Pull Requests
-
-
-
-[[All-pull-requests-MUST-pass-the-build-bot-before-they-are-merged]]
-[cols="2v,v"]
-|===
-| <<All-pull-requests-MUST-pass-the-build-bot-before-they-are-merged, Rule>>
-| All pull requests MUST pass the build bot *before* they are merged.
-|===
-
-The purpose of this rule is to avoid cases where the build bot will fail pull requests for code modified in a previous pull request.
-
-The tooling is flexible enough that exceptions can be made so that the tool the build bot is running will ignore certain areas or certain checks, but the build bot itself must pass for the pull request to be merged.
-
-
 
 == Python