git push precautions

[Ivan Shmakov]

>>>>> Eli Zaretskii <address@hidden> writes:

[…]

 > OK, but is "push -n" really the best alternative?

        I wouldn’t call it “an alternative,” – to either git-log(1) or
        git-diff(1).

 > How about "git diff origin/master" (resp. origin/emacs-24)?

        There’s a difference, – $ git diff shows the “cumulative” diff,
        while $ git log -p shows the individual (per-commit) diffs.
        Depending on the circumstances, either (or /both/) of these
        commands may be of value.

        As a “generic” advice, I’d rather recommend running $ git log -p
        before pushing the changes.

-- 
FSF associate member #7257  http://boycottsystemd.org/  … 3013 B6A0 230E 334A