git ci: reminder if push failed.
Move to bin/git-ci.