Doug Hellmann 64083f0718 use repository-settings to get a default list of repo names ...

For deliverables without any releases, look at the keys of the
repository-settings section to find repository names. For now we
combine the results with the list of repos associated with actual
tagged releases because most of our older files do not have
repository-settings sections, yet.

Change-Id: Icb38e0b16a6a27655e320b094db03728011d5538
Signed-off-by: Doug Hellmann <doug@doughellmann.com>

2018-02-06 18:44:13 -05:00

9.1 KiB

Raw Blame History

View Raw