New post: 2014-05-14-1, "git repos: change mailings".