* Carmen Bianca Bakker [2017-09-30 09:01 +0200]:
But that looks awful (the `remote` message is lost in the middle and there's a lot of needless extra fluff), so I suggest:
$ git push origin master To git.fsfe.org:you/dotfiles.git ! [remote rejected] master -> master (pre-receive hook declined) error: failed to push some refs to 'git@git.fsfe.org:you/project.git' remote: Your code has been rejected because our filtering technology, remote: mandated by Art 13 of the EU "Copyright Reform", suspected a remote: copyright violation. In case you think that is a mistake remote: please get in contact with your git platform provider.
That suggestion looks good. Anxhelo, unless you feel another solution is better, please implement this. Maybe highlight "Error" and the message in remote a bit.
Cheers, Matthias