Allow getting repository tags and versions from Git instead of GitHub

[llucax]

The current version.mike.info command fetches the tags and branches from GitHub so it works smoothly with GitHub Actions without needing to fetch the full history of the Git repo, but it is not very convenient to run locally, where we have all the info right there.

It should be easy to add an option to fetch this info from the local Git repo instead.