Fix comment

Author: carloskelly13

.github/workflows/deploy-docs.yml

@@ -49,7 +49,7 @@ jobs:
         working-directory: ./website
 
       # Use `gh` tool to infer more information about the pull request.
-      # The underlying issue here is pushes to a non-mergeable/main target branch
+      # The underlying issue here is pushes to a non-mergeable/master target branch
       # don't have the PR number easily available.
       # https://stackoverflow.com/a/70102700
       - name: Get pull request info