Reverse the close-pull logic.
We have a huge list of projects with all of them listing "close-pull" as an
option. Turns out we want to close pull requests for all of them - so instead,
let's only indicate 'has-pull-requests' if there is ever a project for whom
we do not want to close pull requests.
Change-Id: I4db31d324b7f260ea24f538ac5f5fc8e1feca75d
Reviewed-on: https://review.openstack.org/15626
Reviewed-by: James E. Blair <corvus@inaugust.com>
Reviewed-by: Clark Boylan <clark.boylan@gmail.com>
Reviewed-by: Paul Belanger <paul.belanger@polybeacon.com>
Reviewed-by: Jeremy Stanley <fungi@yuggoth.org>
Approved: Monty Taylor <mordred@inaugust.com>
Tested-by: Jenkins
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