Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

That does seem like a mistake, upon a cursory examination.


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...


Fun :)

Going to send an email the old–fashioned way?


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


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


lol :)




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: