merge pull request#281

benjamine wants to merge 1 commit intogithub-tools:mastergithub-tools/github:masterfrom

benjamine:feature/pull-request-mergebenjamine/github:feature/pull-request-mergeCopy head branch name to clipboard