From a0108088c1e9e98289ea26d4331e13d32cca1d8b Mon Sep 17 00:00:00 2001
From: Pradyun Gedam <pradyunsg@gmail.com>
Date: Fri, 21 Feb 2020 14:09:40 +0530
Subject: [PATCH] docs: Add TODOs to our CI documentation

---
 docs/html/development/ci.rst | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/docs/html/development/ci.rst b/docs/html/development/ci.rst
index 89e111830da..006542dd1b9 100644
--- a/docs/html/development/ci.rst
+++ b/docs/html/development/ci.rst
@@ -74,6 +74,13 @@ provides free executors for open source packages:
 .. _`Azure DevOps CI`: https://azure.microsoft.com/en-us/services/devops/
 .. _`GitHub Actions`: https://github.com/features/actions
 
+TODO
+
+- how many workers we get per-CI-service.
+- add links to "most relevant resources" for each CI-service.
+- describe how our runs are set up for short-circuiting on failures in
+  linting / documentation / vendoring / unit tests / integration tests.
+
 
 Current run tests
 =================