Build shouldn't make repos public (resolves #94)

... since it requires admin privileges which a bot user shouldn't possess.
BD2KGenomics · Mar 6, 2016 · ca5b0d8 · ca5b0d8
1 parent bafadd6
commit ca5b0d8
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/jenkins.py b/jenkins.py
@@ -111,9 +111,11 @@ def main():
         errs.append('Tool: {}, failed push to quay.io')
     for cmd, err in zip(*[cmds, errs]):
         run_make(tools_to_build, cmd, err)
-    credentials = os.path.join(os.path.expanduser('~'), '.cgl-docker-lib')
-    make_repos_public(tools_to_build, credentials=credentials)
+    # TBD: Making repos public requires admin privileges which I'd rather not grant Jenkins
+    if False:
+        credentials = os.path.join(os.path.expanduser('~'), '.cgl-docker-lib')
+        make_repos_public(tools_to_build, credentials=credentials)
 
 
 if __name__ == '__main__':
-    main()
+    main()