Github - אין מה להשוות

Very interesting - thanks for figuring it out @Simon_Manning

I’ve made a PR which will update docker_manager so that it uses the full commit hash in GitHub links:

https://github.com/discourse/docker_manager/pull/128

Doesn’t look like we have any 8-character collisions on the main branch yet. But we do have a handful of 7-character collisions:

❯ git rev-list --all | cut -c1-7 | sort | uniq -d
27c793a
3483c7b
45a166b
96aca6d
c2e58b6
f73ed45