From 967521814d3a3d25a11bc81e9b81fc7c724ed89b Mon Sep 17 00:00:00 2001
From: Andrea Zignoli <andrea.zignoli@unitn.it>
Date: Sun, 7 May 2023 18:16:30 +0200
Subject: [PATCH] Remove buttons

---
 _layouts/default.html | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/_layouts/default.html b/_layouts/default.html
index 5ff5c83..f372fc4 100644
--- a/_layouts/default.html
+++ b/_layouts/default.html
@@ -18,9 +18,6 @@
     <header class="page-header" role="banner">
       <h1 class="project-name">{{ page.title | default: site.title | default: site.github.repository_name }}</h1>
       <h2 class="project-tagline">{{ page.description | default: site.description | default: site.github.project_tagline }}</h2>
-      {% if site.github.is_project_page %}
-        <a href="{{ site.github.repository_url }}" class="btn">View on GitHub</a>
-      {% endif %}
     </header>
 
     <main id="content" class="main-content" role="main">