Adds jcat JSON concatenation.
Makes git push.default simple.