changes to the jkhub bar are now checked in using git at https://mrwonko.de/gerrit/#/admin/projects/jkhub-bar