SubmittingPatches: mention the git contacts command