Skip to content

Refresh explorer immediately after user git operations#331

Draft
rodrigoscc wants to merge 2 commits intoesmuellert:mainfrom
rodrigoscc:main
Draft

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

Commits

Commits on Mar 17, 2026

Commits on Mar 18, 2026