Releasing To perform a release, simply tag the commit you wish to release, for example: robolectric-bazel$ git fetch robolectric-bazel$ git tag 1.2.3 origin/main robolectric-bazel$ git push origin 1.2.3