Hello all patient devs. As you know, we've had some site issues the last month since I upgraded gerrit. It has stopped calling any hooks and has resisted all my attempts at starting again. There is to my knowledge no way to downgrade gerrit without losing the last month of work, since the update included a database schema change.
I'm thinking this might be a good time to grab the bull by the horns and do what has needed doing for quite some time: Move parts of our infrastructure away from having me as a project bottleneck. What I'm considering first is switching our development from the locally hosted Gerrit to our already up-to-date project mirror on Github. This would require a bit of effort on my part to trigger the builds from a github web hook instead of a gerrit hook, but it shouldn't be a very big deal. And at least github hooks work. I don't know how hard it is to transform gerrit changes into github pull requests. Maybe it's trivial, or maybe we decide that it's just as easy to move the relevant couple of dozen patches manually. This could be our only change, or it could be a first step to moving more parts of the rockbox project infrastructure out of the single server I'm frankly not maintaining very well onto various free public services that are now available, professionally maintained and in many cases vastly more powerful than our current setup. Discuss! -- Björn
