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.