From a66295acafa37777c9deba888a610deb27f0856d Mon Sep 17 00:00:00 2001
From: Bilal Mahmoud <bmahmoud@mpi-cbg.de>
Date: Sun, 30 Nov 2025 11:44:55 +0100
Subject: [PATCH] fix: pr template

---
 .github/pull_request_template.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md
index c9b70f53f4c..8a7cd740041 100644
--- a/.github/pull_request_template.md
+++ b/.github/pull_request_template.md
@@ -31,6 +31,7 @@
 
 <!-- Confirm you have taken the necessary action to record a changeset or publish a change, as appropriate -->
 <!-- Tick AT LEAST ONE box and delete the rest. Do not delete this section! see libs/README.md for info on publishing -->
+<!-- Libraries inside of the `@local` directory are always internal libraries which have no need for publishing -->
 
 This PR: