David Brazdil | 80621bb | 2019-10-01 16:15:23 +0100 | [diff] [blame^] | 1 | name: "repo" |
2 | description: "The Multiple Git Repository Tool" | ||||
3 | |||||
4 | third_party { | ||||
5 | url { | ||||
6 | type: HOMEPAGE | ||||
7 | value: "https://gerrit.googlesource.com/git-repo" | ||||
8 | } | ||||
9 | url { | ||||
10 | type: ARCHIVE | ||||
11 | value: "https://storage.googleapis.com/git-repo-downloads/repo" | ||||
12 | } | ||||
13 | version: "1.13.6" | ||||
14 | last_upgrade_date { year: 2019 month: 10 day: 1 } | ||||
15 | license_type: NOTICE | ||||
16 | } |