Skip local branch name if remote branch is empty and local branch is unknown to remote. Closes #2142.
Merge remote-tracking branch 'origin/release/2.47'

Conflicts:
	GitUI/CommandsDialogs/FormPull.cs
Fixed FileStatusList autoresizing. Closes #2131.
Merge remote-tracking branch 'origin/release/2.47'
Changelog updated.
Version changed to 2.47.4.
Installer fixes
"dpiAware" disabled. Closes #2134
Regex for matching a URL was incorrect.

http prefix was hardcoded in Stash api calls, fixed
Added option in stash plugin to disable ssl verification
Fix OS detection for Gerrit postbuild
Merge pull request #2149 from DanRigby/master

Fix OS detection for Gerrit postbuild
GitExtensions.Mono.csproj problem fixed
Merge pull request #2147 from NamesTwister/master

Regex for matching a URL was incorrect.
Merge pull request #2148 from NamesTwister/feature-ssloption

Added option in stash plugin to disable ssl verification
Merge branch 'release/2.47'

Conflicts:
	CommonAssemblyInfo.cs
	GitExtSshAskPass/SshAskPass.rc2
	GitExtensionsShellEx/GitExtensionsShellEx.rc
	Setup/MakeInstallers.cmd
	Setup/MakeMonoArchive.cmd
Update Setup to use latest RestSharp binary
Add tool reference web page.
Add Tools Submodule
Remove Binary Tools from repo.