@Gargron Keine Ahnung, obs die richtige Stelle ist: $ cat .git/ORIG_HEAD8dfe5179ee7186e549dbe1186a151ffa848fe8ab