Thierry Carrez 0f12fa2d5a [maintain-github-mirror] Skip abandoned gov files ... Following the deletion of the foundation-board-repos.yaml file, the script failed as it was expecting it. Remove that file from the scanned list, and make the script more resilient in case other extra files go missing in the future (like user-committee.yaml which should soon be cleaned up). Change-Id: I83cff14f19a829b5e56771442ffb3a0341e82d69		2020-08-10 11:13:15 +02:00
..
github_manager.py	[maintain-github-mirror] Skip abandoned gov files	2020-08-10 11:13:15 +02:00
run.yaml	maintain-github-mirror: add requests dependency	2020-07-13 17:07:07 +02:00