Am 22.05.2015 um 10:33 schrieb Roberto Tyley: > [...] > Hello, I'm stepping up to do that work :) Or at least, I'm implementing a > one-way GitHub PR -> Mailing list tool, called submitGit: > > https://submitgit.herokuapp.com/ That looks really promising! I wonder if that wouldn't make a good addition to github's repository ui in general ? Thanks, Stefan -- ---------------------------------------------------------------- /dev/random says: Diplomacy: The patriotic art of lying for one's country. python -c "print '73746566616e2e6e616577654061746c61732d656c656b74726f6e696b2e636f6d'.decode('hex')" GPG Key fingerprint = 2DF5 E01B 09C3 7501 BCA9 9666 829B 49C5 9221 27AF -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html