v2.0.2 not pushed to master branch

[vagrantc]

The v2.0.2 tag is pushed to the repository, but the master branch does not contain it.

It appears to contain a single commit beyond the master branch that updates the version number in configure.ac:

f6a870f

Please push an updated master branch!

[micwoj92]

It does?

$ git log
commit f6a870f5d7b30b6553684164844877001350b572 (HEAD -> master, tag: v2.0.2, origin/master, origin/HEAD)
Author: Taylan Kammer <taylan.kammer@gmail.com>
Date:   Sat Jun 8 00:25:20 2024 +0200

    configure.ac: Set version to 2.0.2.

[TaylanUB]

I believe I had fixed this after seeing the GitHub issue report in my email inbox, but it seems like I forgot to respond here and close it. Sorry!