> Are we supposed to copy the auxiliary repos manually? Yes. There used to be java-shib-idp2-main which did this for you. I have not tried to use this recently however.