Christian Kellner c6432d0adb pipeline: replace tree_id with id ... Now that `Pipelines` have no assemblers anymore and thus only one identifier, i.e. the one corresponding to the tree (`tree_id`), the `id` and `tree_id` are now the same. Therefore replace the usage of `tree_id` with `id` and drop the former. Add some extra documentation including some caveats about the uniquness of `id`.		2021-01-22 15:03:19 +01:00
..
__init__.py	formats: extract manifest loading into module	2021-01-09 18:09:47 +01:00
v1.py	pipeline: replace tree_id with id	2021-01-22 15:03:19 +01:00