summaryrefslogtreecommitdiff
path: root/pull-requests.md
diff options
context:
space:
mode:
authorAlex Mohr <mohr@google.com>2015-09-16 21:53:57 -0700
committerAlex Mohr <mohr@google.com>2015-09-16 21:53:57 -0700
commit3127dc2aa45351f1000e5d25c51dc92a4d6ef514 (patch)
tree56656a51a0b4ea4fc2b67c63be101ca3a4272ca9 /pull-requests.md
parent5bf5826376dd878d155825aa74e8f9c65797b358 (diff)
parent15de2cf23060b648291401e201359d32794885c0 (diff)
Merge pull request #13683 from brendandburns/docs4
Add some documentation describing out developer/repository automation.
Diffstat (limited to 'pull-requests.md')
-rw-r--r--pull-requests.md6
1 files changed, 6 insertions, 0 deletions
diff --git a/pull-requests.md b/pull-requests.md
index 1050cd0d..7b955b3d 100644
--- a/pull-requests.md
+++ b/pull-requests.md
@@ -61,6 +61,12 @@ There are several requirements for the submit queue to work:
Additionally, for infrequent or new contributors, we require the on call to apply the "ok-to-merge" label manually. This is gated by the [whitelist](https://github.com/kubernetes/contrib/tree/master/submit-queue/whitelist.txt).
+Automation
+----------
+
+We use a variety of automation to manage pull requests. This automation is described in detail
+[elsewhere.](automation.md)
+
<!-- BEGIN MUNGE: GENERATED_ANALYTICS -->
[![Analytics](https://kubernetes-site.appspot.com/UA-36037335-10/GitHub/docs/devel/pull-requests.md?pixel)]()