diff options
author | Abhishek Arya <inferno@chromium.org> | 2020-12-09 21:52:40 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-09 21:52:40 -0800 |
commit | 1d5a2cd84eb828e1c3303c4053e5590f382516a6 (patch) | |
tree | 24f74fd703967cf43a616a466cc7943afe93893b /projects/libra | |
parent | 84faf557299268508cef5d2a0adfcc882f6f7478 (diff) |
Fill in main_repo for several projects. (#4816)
* Fill in main_repo for several projects.
* Add some go repos.
Diffstat (limited to 'projects/libra')
-rw-r--r-- | projects/libra/project.yaml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/projects/libra/project.yaml b/projects/libra/project.yaml index a7391b4d..73067313 100644 --- a/projects/libra/project.yaml +++ b/projects/libra/project.yaml @@ -9,3 +9,4 @@ sanitizers: - address fuzzing_engines: - libfuzzer +main_repo: 'https://github.com/libra/libra' |