Better GitHub alerts

Rather than the erroneous "X pushed Y" (which really meant "commit Y by
X was pushed"), a slightly clearer message (plus a pseudo testing
harness)

Also, alerting on force-push