commit d7e7f4a59b30d352eb0832ff22476cb4d90165c3
author Eric Park <ideamaneric@gmail.com> Fri May 10 06:52:10 2019 -0400
committer Eric Park <ideamaneric@gmail.com> Fri May 10 06:53:25 2019 -0400
tree a5b7ae107867e499a9595671ebc9fc176bbc103a
parent e3885ff1fa47603a7b192624caad9e734545325d

repopick: fetch from BlissRoms remote, not GitHub

Our default name for GitHub remotes is BlissRoms, not github

Change-Id: I3c8591eeb32c65b019031d563e5574f63b6f4eba

build/tools/repopick.py

diff --git a/build/tools/repopick.py b/build/tools/repopick.py
index 96149bd..787a7e0 100755
--- a/build/tools/repopick.py
+++ b/build/tools/repopick.py
@@ -413,9 +413,9 @@
                 print('Trying to fetch the change from GitHub')
 
             if args.pull:
-                cmd = ['git pull --no-edit github', item['fetch'][method]['ref']]
+                cmd = ['git pull --no-edit BlissRoms', item['fetch'][method]['ref']]
             else:
-                cmd = ['git fetch github', item['fetch'][method]['ref']]
+                cmd = ['git fetch BlissRoms', item['fetch'][method]['ref']]
             if args.quiet:
                 cmd.append('--quiet')
             else: