done with https://github.com/gitextensions/gitextensions/pull/1864