tree f7de38ebf4e32ac8b001e844a730fa7e92faf641
parent 03c61290a9566fb84f92291d73356a3b435d6338
author Henner Zeller <h.zeller@acm.org> 1753206269 +0200
committer Henner Zeller <h.zeller@acm.org> 1753206269 +0200

Enable push diagnostic nofications by default.

It looks like that a lot of editors don't actually pull request
diagnostics, so let push diagnostics on by default.

Fixes: #2434