Labels

• affected: developers
• bug

  Problem when deploying a Data Safe Haven.
• closing: could not reproduce

  We were unable to confirm this problem
• closing: duplicate

  There is already another issue covering this
• closing: will not fix

  We do not plan to fix this
• dependencies

  Pull requests that update a dependency file
• documentation

  Improvements to documentation
• enhancement

  New functionality that should be added to the Safe Haven
• github_actions

  Pull requests that update GitHub Actions code
• good first issue

  This is a good issue for newcomers to the project to tackle
• hotfix

  An issue that should be fixed on a hotfix branch, with a point release
• needs decision

  Requires dev team to come to an agreement on how to proceed
• python

  Pull requests that update Python code
• release candidate

  This is a candidate for release
• release: non-essential

  Issues that at not essential to close for a release
• severity: minor
• type: enhancement