From 2d110ad3ad1ced0d7211942b9cc747b5d461cec7 Mon Sep 17 00:00:00 2001
From: George Katsikas <giorgakis.katsikas@gmail.com>
Date: Mon, 12 Jun 2023 14:39:27 +0200
Subject: [PATCH] add git repo url to prodution page

---
 .../production/_productionstream_details_summary_contents.html  | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scipost_django/production/templates/production/_productionstream_details_summary_contents.html b/scipost_django/production/templates/production/_productionstream_details_summary_contents.html
index a3cf1852e..4d97f82e5 100644
--- a/scipost_django/production/templates/production/_productionstream_details_summary_contents.html
+++ b/scipost_django/production/templates/production/_productionstream_details_summary_contents.html
@@ -48,7 +48,7 @@
                     &nbsp;&nbsp; &bullet; &nbsp;&nbsp;
                     <a href="{% url 'submissions:editorial_page' productionstream.submission.preprint.identifier_w_vn_nr %}">Editorial</a>
                     &nbsp;&nbsp; &bullet; &nbsp;&nbsp;
-                    <a class="text-muted">Git Repo</a>
+                    <a href="{{ productionstream.proofs_repository.git_url }}">Git Repo</a>
                 </div>
             </div>
         </div>
-- 
GitLab