diff --git a/.github/ISSUE_TEMPLATE/package_management.md b/.github/ISSUE_TEMPLATE/package_management.md new file mode 100644 index 00000000000..68be5f0c305 --- /dev/null +++ b/.github/ISSUE_TEMPLATE/package_management.md @@ -0,0 +1,21 @@ +--- +name: Package Management bug report +about: Report a problem related to Dune Package Management +title: '[Package Management]' +labels: 'package management build failures' +assignees: '' +--- + +## Specification + + +- Version of `dune`: +- Operating system (distribution and version): + +## Context + + + +## Reproduction + +