Current checkout detection fixed for bare repositories
Ignore GitExtensions.settings.backup
Autopull from remote to which push was rejected. Closes #1887.
Merge remote-tracking branch 'origin/master' into jb/RevisionLinks#1582