Show 7 hash chars in GitHub force-push message

These were different from the other linked hashes for no reason in particular; make them match.

Test Plan: Crossed fingers.

Auditors: benkomalo