Sorry, I’m to blame for this. When Angeliki mentioned she had merge conflicts, 
it turned out she didn’t have diffmerge (or anything similar) on her machine. 
By the time I got everything configured and managed to resolve the conflicts 
(largely by discarding her work unfortunately), I unthinkingly pushed the 
result without testing.


> On 18 Jan 2019, at 10:42, Lars Hupel <> wrote:
>> The problem behind this: Angeliki got administrative push-access to the
>> Isabelle repository, without anybody at Cambridge showing her how to use it.
> Before we start blaming individual people, this is not a person problem,
> but a tooling problem. Industry has figured out this problem years ago.
> One doesn't simply allow pushes to master (or "default" in Mercurial).
> CakeML has adopted this too.
> _______________________________________________
> isabelle-dev mailing list

isabelle-dev mailing list

Reply via email to