From 358bb729d90d33726b507d9900abf87793100f1b Mon Sep 17 00:00:00 2001
From: Andre Richter <andre-richter@users.noreply.github.com>
Date: Tue, 26 Apr 2022 20:12:22 +0200
Subject: [PATCH] Update pull_request_template.md

---
 .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 98339970..c0c34d89 100644
--- a/.github/pull_request_template.md
+++ b/.github/pull_request_template.md
@@ -10,4 +10,5 @@ Related Issue: <Insert link here if applicable>
      - Not needed if it is just a README change or similar.
  - [ ] Ran `./contributor_setup.sh` followed by `./devtool ready_for_publish`
      - You'll need `Ruby` with `Bundler` and `NPM` installed locally.
+     - If no Rust files were changed, `./devtool ready_for_publish_no_rust` can be used instead (faster).
      - This step is optional, but much appreciated if done.