[sr-dev] git:5.0:008aeb5c: travis-ci: use proper domain for sr-dev mailing list [skip ci]