[Radical Pi]

I set up a system last year using github, and it worked fairly well. We installed Wind River on 4 of the school computers, along with the main programming laptop and the classmate. We could have done setups without full WR installations, but I figured it would be more convenient to have the a consistent IDE/toolchain across all devices. On top of that, I set up an installer that installed the EGit plugin for Wind River, ran the WPILib updater, and did the initial setup for git (installing ssh keys, loading git configuration into WR, and put a preconfigured repo into the workspace). Note that (at least with the 2012 tools) you had to install disk 2 of Wind River for EGit to be compatible. With this, a programming environment would be fully functional after installing the 2 disks and running the custom installer. I can supply the source files for the installer if you'd like.

In terms of organization, we had separate branches for each group working on the code, generally split by subsystem. I would then merge those into the master branch when they were stable. Pull requests are an interesting idea, but I personally would find it disruptive to have to move out of the IDE to get something merged. Under this setup, the use of github is almost completely invisible.

One downside of the installer method is that all of the computers end up with the same ssh key, and thus all use the same github account. This isn't so much of a problem for us though, since EGit by default signs each commit with the username of the windows account, and in our case that was the student's name. For your situation, you probably wouldn't have that same benefit, but you can still manually set names and emails. Github is also smart enough to recognize known email addresses and tag commits with the proper account.

In terms of buildbots, I haven't tried anything like that. Wind River uses makefiles for builds, so you'd probably be able to set up one around that.