From 7029d3ae1b456eb46b069248457874dbc932bab5 Mon Sep 17 00:00:00 2001 From: Mike Aizatsky Date: Fri, 4 Nov 2016 13:30:44 -0700 Subject: [PATCH] Update README.md --- infra/README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/infra/README.md b/infra/README.md index 25e5acea0..e26cb8904 100644 --- a/infra/README.md +++ b/infra/README.md @@ -11,7 +11,8 @@ Continuous Integration infrastracture: project. * [`docker-cleanup`](docker-cleanup/) - jenkins pipeline to clean stale docker images & processes. * [`push-images`](push-images/) - jenkins pipeline to push built base images. -* [`jenkins-cluster`](jenkins-cluster/) - kubernetes cluster definition for our jenkins-based build (not operational yet, issue 10). +* [`jenkins-cluster`](jenkins-cluster/) - kubernetes cluster definition for our jenkins-based build (not operational yet, +[#10](https://github.com/google/oss-fuzz/issues/10)). ## helper.py > script to automate common docker operations