Jordan Petridis 9d637f6694

build_manifest.py: Hardcode the project ids of upstream repos. ...

Since we can't use the group api to query their id, see previous
commit, we are going to hard code the upstream project id for the
time being.

2018-11-06 16:25:53 +02:00

..

build_manifest.py

build_manifest.py: Hardcode the project ids of upstream repos.

2018-11-06 16:25:53 +02:00