Re: Should we delete pkg-go-tools, provisioning, migrate-pkg-go-to-salsa etc?

[Otto Kekäläinen <otto@debian.org>]

Thanks Aloïs for the information.

I posted https://salsa.debian.org/go-team/infra/pkg-go-tools/-/merge_requests/6
to have this recorded in context, in the repo README where the next
person looking at the repo and wondering what it is about is more
likely to stumble across it. I am happy to iterate that README more if
you or others have additional suggestions on what we should document.

For the fact that the CI does not seem to fail when it should fail I
don't have any insight. I don't fully understand the CI code and what
it is trying to do in detail.