CI is supposed to catch all of these. Some of these predate CI. Signed-off-by: Rosen Penev <rosenp@gmail.com>
Signed-off-by: Daniel Gimpelevich <daniel@gimpelevich.san-francisco.ca.us>