On Mon, 14 Jan 2019 11:06:00 +0000, Stian Soiland-Reyes <st...@apache.org> wrote: > Which git server should be the default <developerConnection> ? > This is used by "mvn release:prepare" in the release procedure. > > > [ ] gitbox.apache.org https > [ ] GitHub https > [x] GitHub ssh
Not hearing much (I guess it's not a thing to have strong opinions on!) I went for the above option and updated the remaining repositories; editing straight in GitHub! Also updated build jobs in https://builds.apache.org/view/taverna/ to check from gitbox, so apologies for all the automated emails that then came all at once! I think only thing remaining now is to see when we get a pull request if the email notifications work as before. -- Stian Soiland-Reyes https://orcid.org/0000-0001-9842-9718
