kde-workspace git broken ?

[Hugo Pereira Da Costa]

On 11/11/2013 02:13 PM, Martin Gräßlin wrote:
> On Monday 11 November 2013 13:29:32 Hugo Pereira Da Costa wrote:
>> Hello,
>> I think commits
>> 9f70241d57f3ba1013b9f28650478c8bbb1233e0
>> 137dd285bdf821fd2c8a5c17e30dc9c1a6eca87b
>> 09ea308ab55505efe7aeaebcd4aef6292cd884e6
>>
>> seriously broke kde-workspace
> yes, it's broken. I already created a sysadmin request. Unfortunately a
> similar commit got just pushed to KDE/4.11. So at the moment both master and
> KDE/4.11 branch are broken.
>
> Please remember: do not push a revert of a merge commit.
Is it possible to have a commit hook that would prevent such revert ?
>
> Cheers
> Martin