Just wondering, how necessary is corporate level repository management software for the development of a small addon with 2 developers? If anything, doesn't it just over-complicate things having to jump through the hoops the software applies?
What hoops?
Installing it was a matter of spinning up a VM, extracting a zip, making a symlink and running a script. Config was pretty easy too, once I figured out how to log in (bad documentation doesn't state default password).
Jenkins was even simpler since I already had it set up.
There is no more extra work now, since it's set up with a GitHub post-push hook.