github: check-patch not triggered on push