> One question: Should be use --setting settings.xml? Or contributor-settings.xml ? It’s contributor-settings.xml, but we should change that name / only have one to make that more simple. It confused me so…