I just added Tomislav as developer. While I did not commit his patches
so far due to various open issues in the task, after a bit of
discussion, he turned out to pass any potential examination.
Chris Workman just got developer permission. While he has done
rather few commits, he should do fine from what I have seen so far.
Besides, with the new git branching thing, we might be a bit more
generous with repository write access in general.