diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md new file mode 100644 index 000000000..884c67aad --- /dev/null +++ b/.github/PULL_REQUEST_TEMPLATE.md @@ -0,0 +1,38 @@ + + + + +## Linked Issue + + + +## Summary + + + + +## Changes + + + + + +| Declaration | Kind | File | Description | +| ----------- | ------- | ------------------------ | -------------------- | +| `MyDef` | `def` | `Physlib/Area/File.lean` | One-line description | +| `my_lemma` | `lemma` | `Physlib/Area/File.lean` | One-line description | + +## Reviewer map + + + + +1. + +## Scope — what is not changed + + +