[Dan Waxman]

Jenkins is a product that keeps builds in one place and self tests them to make sure they're working properly to put it simply. It's not something I have much experience with either. However, I'm not sure why only one person at a time could edit code? GitHub offers free organization accounts with unlimited private repos and seats for FRC through their education program which I would recommend taking advantage of (included in the virtual KOP). I still think GitHub is quite a bit more useful than Jenkins in an FRC setting personally, which is why my team still uses it. Both can be used simultaneously, but Jenkins requires use of a server to run its tools.

Edit: As Jeanne mentioned, Travis CI is an awesome tool too that's free. She's likely much more knowledgeable in this area as well, so I'd direct questions at her and not me.