From 8bc41ecff43f892263c7251e5612d46438f5bd01 Mon Sep 17 00:00:00 2001
From: Thomas Eizinger <thomas@eizinger.io>
Date: Wed, 24 Mar 2021 11:30:51 +1100
Subject: [PATCH] Improve docs of CI workflow

---
 .github/workflows/ci.yml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index d659ea41..e4eb884f 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,12 +1,12 @@
 name: CI
 
 on:
-  pull_request:
+  pull_request: # Need to run on pull-requests, otherwise PRs from forks don't run
   push:
     branches:
-      - 'staging'
-      - 'trying'
-      - 'master'
+      - 'staging' # Bors uses this branch
+      - 'trying' # Bors uses this branch
+      - 'master' # Always build head of master for the badge in the README
 
 jobs:
   static_analysis: