Projektsuche funktioniert nicht in dev master, fehlender Push?