undefined | Better HN

0 pointsMatheus283y 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

db48x3y ago

Fun :)

Going to send an email the old–fashioned way?

Matheus28OP3y 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

vtbassmatt3y ago

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

db48x3y ago

lol :)

j / k navigate · click thread line to collapse

0 pointsMatheus283y 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

db48x3y ago

Fun :)

Going to send an email the old–fashioned way?

Matheus28OP3y 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

vtbassmatt3y ago

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

db48x3y ago

lol :)

j / k navigate · click thread line to collapse