Labels

• automated

  Automatically created PR/Issue
• backend
• bug
• dependencies

  Pull requests that update a dependency file
• documentation
• duplicate
• frontend
• gh-actions
• http api change

  causes a change in a http api
• java

  Pull requests that update Java code
• javascript

  Pull requests that update Javascript code
• MERGE LATER
• PREPROCESS

  Requires Preprocess
• Project SQL
• refactoring
• REIMPORT

  Requires reimport
• security

  Pull requests that address a security vulnerability