* code for mr diff that is from ztool.

2021-12-22 17:17:11 +08:00
parent 49bfd2dd18
commit 11dc36d278
3 changed files with 20 additions and 6 deletions
@@ -34,7 +34,7 @@
      <?php include '../../common/view/form.html.php';?>
      <?php include '../../common/view/kindeditor.html.php';?>
      <?php /* If this mr is deleted in GitLab, then show this part to user. */?>
-      <?php if(empty($rawMR) or !isset($rawMR->id)): ?>
+      <?php if($MR->synced and (empty($rawMR) or !isset($rawMR->id))): ?>
        <div id='mainContent'>
          <div class="table-empty-tip">
            <p>