diff options
author | Chris Rorvick <chris@rorvick.com> | 2012-12-02 21:27:50 -0600 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2012-12-03 08:04:08 -0800 |
commit | 1184564eac8ef6c82da068a31f60aee0d6870265 (patch) | |
tree | 72309ffafe3d453c9ea44cc3d3691338bcbd942a /Documentation/technical/api-gitattributes.txt | |
parent | push: cleanup push rules comment (diff) | |
download | tgif-1184564eac8ef6c82da068a31f60aee0d6870265.tar.xz |
push: rename config variable for more general use
The 'pushNonFastForward' advice config can be used to squelch several
instances of push-related advice. Rename it to 'pushUpdateRejected' to
cover other reject scenarios that are unrelated to fast-forwarding.
Retain the old name for compatibility.
Signed-off-by: Chris Rorvick <chris@rorvick.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/technical/api-gitattributes.txt')
0 files changed, 0 insertions, 0 deletions