From 8f1944d98faf13f54d806b423467b3a6cb62c6d8 Mon Sep 17 00:00:00 2001
From: Kimiyuki Onaka <kimiyuki95@gmail.com>
Date: Fri, 16 Apr 2021 18:24:01 +0900
Subject: [PATCH] s/master/HEAD/ for the cases when users use main instead

---
 onlinejudge_verify_resources/_includes/document_header.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/onlinejudge_verify_resources/_includes/document_header.html b/onlinejudge_verify_resources/_includes/document_header.html
index dc357ba3..15240548 100644
--- a/onlinejudge_verify_resources/_includes/document_header.html
+++ b/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/HEAD/{{ 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>