Repository navigation

Fix `Fatal not a git repository` - #193

Merged

lukepistrol merged 2 commits into

CodeEditApp:mainfrom

lukepistrol:main

Mar 23, 2022

Merged

Fix `Fatal not a git repository`#193
lukepistrol merged 2 commits into
CodeEditApp:mainfrom
lukepistrol:main

Commits on Mar 22, 2022
- quick-fix `Fatal not a git repository`
  lukepistrol
  committed
  cccdada
- Hide source control options from status bar if no git repository available
  lukepistrol
  committed
  d006d7e