Block a user
8ca70fa11e
Mario: formatting
f3062464d2
CI: better checking of formatting
d60dc07e10
Update clang-format