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 @@
+<!-- Please read docs/ReviewGuidelines.md before opening a PR. -->
+<!-- Add the appropriate `t-subject` label (e.g. `t-classical-mechanics`). -->
+<!-- Remove this comment block before submitting. -->
+
+## Linked Issue
+
+<!-- Link the issue this PR addresses. Use one of:
+     - Closes #...  (auto-closes the issue on merge)
+     - Toward #...  (partial progress)
+     - Fixes #...   (bug fix) -->
+
+## Summary
+
+<!-- One paragraph describing what this PR adds or changes, and why. -->
+<!-- If this closes or makes progress on an issue, write "Toward #NNN" or "Closes #NNN". -->
+
+## Changes
+
+<!-- List every definition and lemma added, removed, or renamed. -->
+<!-- Use the table below; adjust rows as needed. -->
+<!-- Columns: Declaration | Kind | File | Description -->
+
+| 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
+
+<!-- Brief guide on the order a reviewer should read the changes. -->
+<!-- Example: "Read Lemma A first; Lemma B uses it." -->
+
+1.
+
+## Scope — what is not changed
+
+<!-- List any existing declarations, files, or proofs that are intentionally untouched. -->
+<!-- Delete this section if everything in the diff is new. -->
diff --git a/QuantumInfo/Channels/Bundled.lean b/QuantumInfo/Channels/Bundled.lean
index 63676a449..a0afe335e 100644
--- a/QuantumInfo/Channels/Bundled.lean
+++ b/QuantumInfo/Channels/Bundled.lean
@@ -20,6 +20,7 @@ The combinations `PTPMap` (positive trace-preserving), `CPTPMap`, and `CPUMap`
 
 The majority of quantum theory revolves around `CPTPMap`s, so those are explored more
 thoroughly in their file CPTP.lean.
+TEST
 -/
 
 @[expose] public section