Add "--short" option, print in warnings in red or green#359

Open

bzgec wants to merge 7 commits intoterryyin:masterfrom bzgec:master

+208-81

Commits on Sep 4, 2022

Commits on May 21, 2023

Commits on May 22, 2023