Replace automatic PR merge step with manual merge#95

rudnerbjoern merged 1 commit intomainrudnerbjoern/iTop-schema:mainfrom

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