test/listeners/jenkins: findPushProjectForRepo() & slight refactors for push_project