Refresh explorer immediately after user git operations#331
Draft
rodrigoscc wants to merge 2 commits intoesmuellert:mainfrom
Draft
Refresh explorer immediately after user git operations#331rodrigoscc wants to merge 2 commits intoesmuellert:mainfrom
rodrigoscc wants to merge 2 commits intoesmuellert:mainfrom