Labels

• backburner

  Non-essential features that would be nice to have
• branch-vis

  Work on displaying and managing branches
• bug

  Something isn't working
• critical

  High priority enchancement or fix
• css

  Work on the colouring and spacing of the UI
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• enhancement

  New feature or request
• fxml

  Work on the structure of the UI
• github

  Changes that involve interacting with the GitHub platform
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• minor
• please revise

  For issues that aren't descriptive enough, or may not be issues at all
• question

  Further information is requested
• significant

  Intended to denote large changes that Fang and Michael to undertake befor the main release
• terminal

  Work on the built-in terminal
• wontfix

  This will not be worked on