Labels

• blocked/blocking

  Is blocked or blocks development of something else
• dependencies

  Pull requests that update a dependency file
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• future

  Not being actively worked on, but might be worked on in the future
• good first issue

  Good for newcomers
• javascript

  Pull requests that update Javascript code
• maintenance

  Functionality-orthogonal refactoring or code cleanup that needs doing
• meeting

  To be discussed at weekly meeting
• question

  Further information is requested
• reproduced

  Issue has been reproduced independently
• sequence

  Related to a sequence or the sequence subsystem
• stub

  We need to fill in the details of this issue
• ui

  Something having to do with the user interface
• visualizer

  Has to do with a visualizer or the visualizer subsystem.
• wontfix

  This will not be worked on