Working with Git via it's commands directly doesn't work properly (Git window is not refreshed) - for instance when I run git init the following message appeared: Initialized empty Git repository in /home/runner/<REPL name>/.git/ but Create a Git repo button is not dissolved. I need to switch Git window manually - switching to another tab and return back.