Merge pull request #364 from online-judge-tools/fix/362

Follow up #363

Author: kmyk

onlinejudge_verify/main.py

@@ -176,7 +176,7 @@ def subcommand_docs(*, jobs: int = 1) -> None:
             logger.exception('failed to get the default branch: %s', e)
             logger.info('Updating GitHub Pages is skipped.')
             return
-        if os.environ['GITHUB_REF'] == 'refs/heads/{}'.format(default_branch):
+        if os.environ['GITHUB_REF'] != 'refs/heads/{}'.format(default_branch):
             logger.info('This execution is not on the default branch (the default is "refs/heads/%s" but the actual is "%s"). Updating GitHub Pages is skipped.', default_branch, os.environ['GITHUB_REF'])
             return
 

onlinejudge_verify_resources/_includes/document_header.html

@@ -3,7 +3,7 @@ <h1>{{ page.data._verificationStatusIcon }} {{ page.title }}
 </h1>
 
 <ul>
-    <li><a href="{{ site.github.repository_url }}/blob/master/{{ page.data.path }}">View this file on GitHub</a></li>
+    <li><a href="{{ site.github.repository_url }}/blob/{{ site.github.default_branch }}/{{ page.data.path }}">View this file on GitHub</a></li>
     <li>Last update: {{ page.data.timestamp }}</li>
     {% if page.data.attributes.PROBLEM %}
     <li>Problem: <a href="{{ page.data.attributes.PROBLEM }}">{{ page.data.attributes.PROBLEM }}</a></li>