Qualify all references issue numbers in the materialize repo

[chaas]

Do this by adding the materialize# prefix to the issue number.
E.g. Make TODO(#1234) instead TODO(materialize#1234).
This is in preparation for making github issues private. The old links will still work and redirect to the correct issue in the new repo, but the issues will have different ids in the new repo after the migration, so the TODOs should be clear about which repo the number is referring to.

Motivation

This PR refactors existing code. In service of the plans to make Github issues private, and use Github discussions for public tracking instead.

Tips for reviewer

Are there other potential variants of this that I may have missed?

Checklist

• This PR has adequate test coverage / QA involvement has been duly considered. (trigger-ci for additional test/nightly runs)
• This PR has an associated up-to-date design doc, is a design doc (template), or is sufficiently small to not require a design.
• If this PR evolves an existing $T ⇔ Proto$T mapping (possibly in a backwards-incompatible way), then it is tagged with a T-proto label.
• If this PR will require changes to cloud orchestration or tests, there is a companion cloud PR to account for those changes that is tagged with the release-blocker label (example).
• If this PR includes major user-facing behavior changes, I have pinged the relevant PM to schedule a changelog post.

[benesch]

Thanks!

[def-]

Are there other potential variants of this that I may have missed?

We have files ending on .gh<id> to disable them because of an issue. Since they are testdrive files, we can instead use this pattern at the top of the file:

# TODO: Reenable when materialize#<id> is fixed
$ skip-if
SELECT true

[nrainer-materialize]

There are many occurrences that are not caught. I will try to add some more.

[nrainer-materialize]

Rebased and replaced further matches. I only operated on TODOs. There are tons of further issue references in lines without TODOs.

[nrainer-materialize]

@def-: I am sure I still did not catch all of them. Can we emit warnings in the ci-issue-detector when it detects non-qualified issue numbers?