Closed hnez closed 5 months ago
Hi @jluebbe,
I think merging this should be okay, because reviewing tacd
happens in the respective repository and this change only updates the git commit that is used.
What do you think?
Hi @jluebbe,
I think it would be great if we could get this merged.
I think merging this should be okay, because reviewing
tacd
happens in the respective repository and this change only updates the git commit that is used. What do you think?
I've not looked at the tacd commits in the context of this PR.
This brings a couple of changes: