From b44f390b09924d36db306f10a9511c61ff59ce56 Mon Sep 17 00:00:00 2001
From: Mahrud Sayrafi <mahrud@berkeley.edu>
Date: Mon, 23 Oct 2023 03:28:11 -0500
Subject: [PATCH] added documentation for repository maintainers

---
 README.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/README.md b/README.md
index eef8fa6..2094849 100644
--- a/README.md
+++ b/README.md
@@ -47,6 +47,9 @@ for testing the formulae in a controlled environment. Afterwards, you can audit
 brew audit Macaulay2/tap
 ```
 
+When a pull request becomes green (all checks passed), then you can publish the built bottles.
+To do so, label your PR as `pr-pull` and the workflow will be triggered. Do NOT merge the PR.
+
 ## Bottling
 Pre-built Homebrew "bottles", which may be used instead of building from source,
 are built using GitHub Actions for Linux and macOS x86_64 systems.