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