Labels

• dependencies

  Pull requests that update a dependency file
• dev_update

  Update develop branch with latest developments.
• documentation

  Improvements or additions to documentation
• feature

  New feature or request
• fix

  Issue fixed
• release

  Official release (Beta or numbered)