$ git clone -n https://src.fedoraproject.org/rpms/antlr3.git /var/lib/mock/f33-build-230906-50214/root/chroot_tmpdir/scmroot/antlr3
Cloning into '/var/lib/mock/f33-build-230906-50214/root/chroot_tmpdir/scmroot/antlr3'...
$ git reset --hard 3da09e31273951145c002a6f4d36b787d09d37ad
HEAD is now at 3da09e3 actually apply Patch7