TL;DR of the implementation: every minute, the script updates the HTML page with sed, and then commits it into git and pushes it into Github...
What can one say. At least they didn't use Kubernetes for that.
or store the value in a mongo instance.
i think you mean [mangodb](https://github.com/dcramer/mangodb)