channel: also commit repos.json/repos.json.lock

This commit is contained in:
Jörg Thalheim 2018-08-14 08:30:31 +02:00
parent 8cbac92299
commit 8550c5b6f3

View file

@ -124,6 +124,9 @@ def update_channel(path: Path) -> None:
update_lock_file(updated_repos, path.joinpath("repos.json.lock"))
with chdir(path):
commit_files(["repos.json", "repos.json.lock"], "update repos.json + lock")
def setup_channel() -> None:
manifest_path = "repos.json"