Thank you, but we don't want to pull in dozens of new dependencies for a simple task that updates a single number. A better fix would be to rewrite the task itself to use simple git calls.

That would be inefficient as it would require cloning the repository.

Nonsense. git ls-remote.

As ureq is now an internal dependency, this has become relevant. But I'm still not happy with the inflated dependency chain -- isn't there are more light-weight alternative? We don't use it for much...

Hmm, reqwest looks like the go-to HTTPS crate for Rust; everything else seems to be implemented on top of that. So I guess this is fine but can you please

1. rebase on master
2. and also switch the new ureq call to reqwest?

Superseded by #4396, but thanks!