This reverts commit 8279faad. This has been fixed meanwhile and we just updated to the new git-cop version: https://github.com/bkuhlmann/git-cop/pull/40