[Development] Use make before you push and stage

[Laszlo Papp]

> Another hint: configure with -no-pch if you can afford it, otherwise you
> might end up with missing includes causing breakage in the CI system. And
> if you do larger refactorings or touch headers in a bigger way also try to
> compile with -qtnamespace Foo (yes, I'm guilty of not doing this as well).

Could you please collect all of the undocumented suggestions (if any),
and place them on a relevant wiki page? Thanks.

Best Regards,
Laszlo Papp