pre-push: adjust for obsolete gitprojects