undefined | Better HN

0 pointsMatheus284y ago0 comments

I submitted a PR on github https://github.com/git/git/pull/1235. Supposedly there's a bot who will send an email, but I don't have permissions to use it... mhm...

0 comments

4 comments · 1 top-level

db48x4y ago· 3 in thread

Fun :)

Going to send an email the old–fashioned way?

Matheus28OP4y ago

Gonna beg in the irc channel for git so they give me access to that bot. God forbid I have to format a patch the way they want me to

vtbassmatt4y ago

You probably know this, but for anyone else following this thread: the bot is https://gitgitgadget.github.io/.

db48x4y ago

lol :)

j / k navigate · click thread line to collapse