diff --git a/make_local_repos.py b/make_local_repos.py
index f598446..bb8ab9d 100755
--- a/make_local_repos.py
+++ b/make_local_repos.py
@@ -17,8 +17,6 @@
 # It should look like:
 
 # - project: PROJECT_NAME
-#   options:
-#   - close-pull
 #   remote: https://gerrit.googlesource.com/gerrit
 
 # TODO: add support for