I tested this on my repo and it worked (though only when tagging the tip of the branch, this will fail if we tag anything else).
This was previously causing problems, but I think that we had other issues with the CI too, so maybe those were linked failures. If we run this command, we'll at least find out what happens now!
If this causes problems again, we can comment it out again. But at least we'll then have some CI logs to look into -- the old CI logs from back when this was first commented out are gone, so I couldn't look at those to try to understand why this was failing back then.
I tested this on my repo and it worked (though only when tagging the tip of the branch, this will fail if we tag anything else).
This was previously causing problems, but I think that we had other issues with the CI too, so maybe those were linked failures. If we run this command, we'll at least find out what happens now!
If this causes problems again, we can comment it out again. But at least we'll then have some CI logs to look into -- the old CI logs from back when this was first commented out are gone, so I couldn't look at those to try to understand why this was failing back then.