diff --git a/.github/PULL_REQUEST_TEMPLATE/fix-issue.md b/.github/PULL_REQUEST_TEMPLATE/fix-issue.md new file mode 100644 index 000000000000..506996510c7e --- /dev/null +++ b/.github/PULL_REQUEST_TEMPLATE/fix-issue.md @@ -0,0 +1,19 @@ +--- +name: "\U0001F527 Fix issue" +about: Open a new pull request for the Dotty Compiler that fixes an issue from the issue tracker +title: 'Fix #XYZ: A SHORT FIX DESCRIPTION' +assignees: '' + +--- + + + +## Fix #XYZ + + + + + diff --git a/.github/PULL_REQUEST_TEMPLATE/other-pr.md b/.github/PULL_REQUEST_TEMPLATE/other-pr.md new file mode 100644 index 000000000000..4b69a80460af --- /dev/null +++ b/.github/PULL_REQUEST_TEMPLATE/other-pr.md @@ -0,0 +1,19 @@ +--- +name: "Open a PR" +about: Open a new pull request for the Dotty Compiler +title: 'A SHORT DESCRIPTION' +assignees: '' + +--- + + + +## Description + + + + +