@bserdar I've added a few tags locally, but I did not figure out a way to share them over a PR, maybe you can simply add them and push'em on your side:
$ git tag v2.11.12 73e1399e17a0ea8b2629fdf33978c6998d3da59f
$ git tag v2.11.13 3f1e6604adaa446cd11de145aad7d9c79b713604
$ git tag v2.12.0 f9ce91f900bd81a59827a1bad51224efc6ab8d50
@bserdar I've added a few tags locally, but I did not figure out a way to share them over a PR, maybe you can simply add them and push'em on your side: