No progress, sorry, and none likely until after the release of git plugin 4.0.0 and git client plugin 3.0.0. Once those are released, I'll look again at the grouping and priority of pull requests in the plugin. Current priorities are listed as:
No progress, sorry, and none likely until after the release of git plugin 4.0.0 and git client plugin 3.0.0. Once those are released, I'll look again at the grouping and priority of pull requests in the plugin. Current priorities are listed as: