Aha, danke! Es scheint, als ob GitHub aufgrund der Größe unseres Repositories mindestens 8 Zeichen eines Commit-Hashes benötigt. Hast du e7c7262 irgendwo in unserer Benutzeroberfläche gesehen? Wenn ja, sollten wir die Anzahl der angezeigten Zeichen erhöhen 
Jedenfalls hast du definitiv die Lösung, also muss hier noch etwas anderes im Spiel sein. Könntest du einen betroffenen Benutzer bitten, seinen genauen User-Agent zu teilen? Du findest ihn so.