From 279b4d9c932a40421a7d67077742f4e3eebeeb6d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Guillaume=20Perr=C3=A9al?= <guillaume.perreal@inrae.fr>
Date: Mon, 8 Jun 2020 10:03:45 +0200
Subject: [PATCH] Corrige l'erreur de DefaultRemoteStrategy::push.

---
 src/Repository/DefaultRemoteStrategy.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Repository/DefaultRemoteStrategy.php b/src/Repository/DefaultRemoteStrategy.php
index 3d5a182..818363f 100644
--- a/src/Repository/DefaultRemoteStrategy.php
+++ b/src/Repository/DefaultRemoteStrategy.php
@@ -67,5 +67,6 @@ final class DefaultRemoteStrategy extends NoRemoteStrategy
         $workingCopy->push('--force', $this->remote, ...$refs);
         $this->logger->notice("Successfully pushed to $this->remote: " . implode(', ', $refs));
         $workingCopy->run('prune');
+        return true;
     }
 }
-- 
GitLab