[PATCHv2] git-pull: Avoid merge-base on detached headFromPhil Hord <hordp@cisco.com>DateOct 23, 2012, 20:39 UTCMessage-ID<1351024796-28174-1-git-send-email-hordp@cisco.com>Add Signed-off-by...Next: Phil Hord