Add git push command to auto-update combined schema#87

rudnerbjoern merged 2 commits intomainrudnerbjoern/iTop-schema:mainfrom

devrudnerbjoern/iTop-schema:devCopy head branch name to clipboard