Experiment: brew.yaml

.github/workflows/brew.yaml

@@ -78,19 +78,19 @@ jobs:
         export CC
         echo "CXX is $CXX; CC is $CC"
 
-        # Note - if you get the GitHub error:
-        #   GitHub API Error: API rate limit exceeded for aa.bb.cc.dd...
-        # Then try rerunning the job in 20-25 minutes
-
-        # This is an empty/public access token used to avoid github API rate
-        # limit warnings
+        # This is a fine-grained personal access token restricted to a
+        # single repository and with all permissions left on "No
+        # Access". We set this token to avoid being blocked by the
+        # GitHub access rate limit for unauthenticated access
+        # (i.e. the rate limit for access with no token).
         export HOMEBREW_GITHUB_API_TOKEN=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
 
         homebrew/runformula.sh --skipaudit --force --HEAD
         #   --skipaudit  Say "yes" to doing the brew audit
         #   --force      Run even if pistache brew formula unchanged
         #   --HEAD       Test with head of pistacheio/pistache master branch
 
+        # We unset the token again, otherwise audit will object to it
         unset HOMEBREW_GITHUB_API_TOKEN
         homebrew/runformula.sh --auditonly --force --HEAD