3 ms·

I submitted a PR on github https://github.com/git/git/pull/1235 https://github.com/git/git/pull/1235. Supposedly there's a bot who will send an email, but I don

I submitted a PR on github https://github.com/git/git/pull/1235 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...

db48x 5y ago
Fun :) Going to send an email the old–fashioned way?
- Matheus28 5y 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
  - db48x 5y ago
    lol :)
  - vtbassmatt 5y ago
    You probably know this, but for anyone else following this thread: the bot is https://gitgitgadget.github.io/ https://gitgitgadget.github.io/.