From 9f0617cbfb17a958d527f408bcae1eac8973d6fb Mon Sep 17 00:00:00 2001
From: Victor Zverovich <victor.zverovich@gmail.com>
Date: Sat, 7 Nov 2020 08:04:01 -0800
Subject: [PATCH] Fix branch ref

---
 support/build-docs.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/support/build-docs.py b/support/build-docs.py
index bfd1cd7b..8ad86e9d 100755
--- a/support/build-docs.py
+++ b/support/build-docs.py
@@ -14,7 +14,7 @@ def rmtree_if_exists(dir):
 
 def install_dependencies():
     branch = os.environ['GITHUB_REF']
-    if branch != 'refs/heads/doc':
+    if branch != 'refs/heads/master':
         print('Branch: ' + branch)
         exit(0) # Ignore non-master branches
     check_call('curl -s https://deb.nodesource.com/gpgkey/nodesource.gpg.key ' +