On Mon, Oct 28, 2013 at 1:12 AM, Dirkjan Ochtman <[email protected]> wrote: > On Sun, Oct 27, 2013 at 10:00 PM, Alexander Shorin <[email protected]> wrote: >> There is no worry about since it's standard feature for git and >> supported by gitweb and github[1] as well. > > How about the IRC bots? And the email messages (both commit > notifications and PR notifications)?
Hm..let's try to figure their support status(: I suppose nobody mind if I push one commit with notes? -- ,,,^..^,,,
