The GitHub UI was out of place and needed to only be present when needed. Adding it to the context menu of the file browser was the most optimal solution as it allows for the greatest flexibility of workflow.
Functionalities added:
The GitHub UI has been moved from the file browser body to the file browser context menu.
User is able to push the contents of any workspace directory to a public repo and specify its name
User is able to clone a repo into any directory within the workspace.
The GitHub UI was out of place and needed to only be present when needed. Adding it to the context menu of the file browser was the most optimal solution as it allows for the greatest flexibility of workflow.
Functionalities added: