What
One of the ideas behind tooling was to have mulitiple tools in one repository to enable easier bazel things etc.
Now with some time behind us we have noticed that this is not giving us the benefit of what we wanted.
Therefore we want to split tooling up again into multiple small repositories.
The exact scope of what and where to split it, still needs to be discussed.
However: cr_checker, python_basics (if still needed) should be splitted at least.
Acceptance Criteria (DoD)
Decided tools should be housed in their own repositories.
How
To be determined
What
One of the ideas behind tooling was to have mulitiple tools in one repository to enable easier bazel things etc.
Now with some time behind us we have noticed that this is not giving us the benefit of what we wanted.
Therefore we want to split tooling up again into multiple small repositories.
The exact scope of what and where to split it, still needs to be discussed.
However: cr_checker, python_basics (if still needed) should be splitted at least.
Acceptance Criteria (DoD)
Decided tools should be housed in their own repositories.
How
To be determined