Platformio.ini, how to point to a specific commit (for platform) in the master branch?

1

I would like to point to a specific commit in the Arduino ESP8266 master branch.
I’m using this:
platform = https://github.com/platformio/platform-espressif8266.git
in my platformio.ini
but how can I specify to get a specific commit in the master branch?
Thank you!

2

With the same syntax as for library installs, by appending a #<commithas or tag> behind the git URL.

If your target commit already is a stable version (i.e. in here) use the regular @<version> syntax instead as documented.