path: root/docs
diff options
authorRodolfo Carvalho <>2017-04-24 15:27:19 +0200
committerRodolfo Carvalho <>2017-04-27 11:54:11 +0200
commit8734fb6a7e9ceba9f78a8d435bf06459582aed05 (patch)
tree3cf1ce1408d7a311ac6621afa9a3c95baa6405da /docs
parente5da685e7ceecabc37e0b740642e6765c9d6cfc3 (diff)
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.
Diffstat (limited to 'docs')
1 files changed, 0 insertions, 16 deletions
diff --git a/docs/best_practices_guide.adoc b/docs/best_practices_guide.adoc
index 7f3d85d40..dd849e87d 100644
--- a/docs/best_practices_guide.adoc
+++ b/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[RFC2119].
-== Pull Requests
-| <<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