From 3f5af2c4284f13d4c317d059d8f41838b026b286 Mon Sep 17 00:00:00 2001
From: Samyak Jain <samyak.jn11@gmail.com>
Date: Dec 08 2023 03:14:25 +0000
Subject: [feature] Enable collaborators to merge the PR(s)


---

diff --git a/pagure/templates/repo_pull_request.html b/pagure/templates/repo_pull_request.html
index 9fcd1e5..902e812 100644
--- a/pagure/templates/repo_pull_request.html
+++ b/pagure/templates/repo_pull_request.html
@@ -170,7 +170,7 @@
               </a>
               <div id="merge-alert" class="text-xs-center dropdown-menu dropdown-menu-right p-0">
                 <div class="alert text-center mb-0">
-                  {% if g.repo_committer %}
+                  {% if g.repo_committer or g.fas_user.username in g.repo.collaborators %}
                     <small id="merge-alert-message"></small>
                     <form action="{{ url_for('ui_ns.merge_request_pull',
                         repo=repo.name,