Version 1.3.0

Compatible with Git Extensions 3.5.
Please use Git Extensions' integrated Plugin Manager to install and update this plugin.

Changelog:

• Add patchset number in branch name (#39)
• Ability to download specific patchset - not the latest/current only, as before
• Enable/Disable Plugin via checkbox (#28)
• Hide push button settings (#27)