Labels

• bug

  this is a bug not covered by the tests
• command

  issue regarding the given command
• dependencies

  Pull requests that update a dependency file
• documentation

  documentation required
• feature

  feature request
• java

  Pull requests that update java code
• tests

  this addresses unit testing