Slightly dirty implementation of create tipp...
git pushMerge branch 'dev' of github.com:k-int/gokb-phase1 into dev