Drop repo_ref from jenkins.properties
Drop repo_ref from jenkins.properties

It's propagated downstream by the '-main' build flows already

felixmulder/scala,shimib/scala,jvican/scala,felixmulder/scala,scala/scala,martijnhoekstra/scala,jvican/scala,felixmulder/scala,felixmulder/scala,jvican/scala,shimib/scala,scala/scala,scala/scala,martijnhoekstra/scala,scala/scala,jvican/scala,lrytz/scala,felixmulder/scala,lrytz/scala,shimib/scala,scala/scala,lrytz/scala,felixmulder/scala,lrytz/scala,jvican/scala,shimib/scala,martijnhoekstra/scala,martijnhoekstra/scala,shimib/scala,lrytz/scala,scala/scala,jvican/scala,lrytz/scala,martijnhoekstra/scala,felixmulder/scala,shimib/scala,jvican/scala,martijnhoekstra/scala