This allows us to see the exact Git revision used:

```
$ curl -s http://localhost:8080/-/metrics | grep revision
deployments{version="14.1.0-pre",revision="fbba57a1"} 1
```

Changelog: added