komische änderung nach Git push