News for hackers. Stuff that matters.
Re:GitHub Says ‘No Thanks’ to Bots — Even if They’re Nice by Strilanc on Saturday December 29, 2012 @11:41AM (#4982546)
Honestly? That sounds amazing (as long as there's a way to manage the noise).
Re:GitHub Says ‘No Thanks’ to Bots — Even if They’re Nice by rossy on Saturday December 29, 2012 @11:51AM (#4982581)
I'd much rather use those tools at my own discretion than have them clutter an area of the site where I expect to see feedback from my human users.

It would also make GitHub a much more intimidating place to submit code. I don't want those things for my smaller projects.

Re:GitHub Says ‘No Thanks’ to Bots — Even if They’re Nice by jevinskie on Saturday December 29, 2012 @11:57AM (#4982594)
So some sort of "plugin" interface where you can opt in to certain bots on a per-repo basis? I could really get behind that! 100% automated and unsolicited? No thank you!
Re:GitHub Says ‘No Thanks’ to Bots — Even if They’re Nice by technoweenie on Saturday December 29, 2012 @12:25PM (#4982663)
Hey, check the Service Hooks tab of your Repository Settings.
Re:GitHub Says ‘No Thanks’ to Bots — Even if They’re Nice by justincormack on Saturday December 29, 2012 @12:46PM (#4982741)
It would be really helpful if each had a short summary when you hover over them as its an awful lot of names which don't mean much. I came across Travis from elsewhere but never would have guessed it was CI from this list.
Re:GitHub Says ‘No Thanks’ to Bots — Even if They’re Nice by mh- on Saturday December 29, 2012 @10:13PM (#4984434)
yeah, +1. I actually cloned the repo so I could peek at the source for the hooks to all these services I'd never heard of. Was easier (lazier) than googling.

https://github.com/github/github-services/tree/master/servic...

Re:GitHub Says ‘No Thanks’ to Bots — Even if They’re Nice by mistercow on Saturday December 29, 2012 @02:37PM (#4983148)
Exactly. I think bots are exactly the wrong shape for this task. What would be better would be a framework for automatically processing the files in a git repository and then generating a commit. GitHub could have an interface for uploading them and for applying them to repositories. You could then apply them yourself, or someone else could fork, apply, and then submit a pull request.