It seems status-completed, answer from Geoff Dalgas:
The GitHub PR was finally approved and merged:
There's a dedicated Stack Exchange site for Open Source. According to their Help Center, questions about
how communities collaborate together to produce, distribute, market and sometimes monetize these projects
are on-topic, and I think your question might fit under this umbrella.
You generally should use the specific commit revision if you are referring to a specific commit or something that might change in the future. I have seen many links to Github that were made obsolete and useless because of an update. Checking the date something was posted and looking for the specific commit from that date wastes a lot of time.