From dd2eacfae2e8767bd84c3739ec3531ca3ddd188d Mon Sep 17 00:00:00 2001
From: Cecile Tonglet <cecile@parity.io>
Date: Fri, 3 Jul 2020 14:50:23 +0200
Subject: [PATCH 1/2] Initial commit

Forked at: facc6741400a21fa3b5a3eedfe444f30ab5df8b0
Parent branch: origin/master

From b20b1240cda40e1693f934f076e95d5402efcc83 Mon Sep 17 00:00:00 2001
From: Cecile Tonglet <cecile@parity.io>
Date: Fri, 3 Jul 2020 14:52:19 +0200
Subject: [PATCH 2/2] Remove polkadot companion detection from branch name

Even though it was nice it was also error prone as there were no indication whatsoever on the PR
that a polkadot companion branch exists.
---
 .maintain/gitlab/check_polkadot_companion_build.sh | 10 +---------
 1 file changed, 1 insertion(+), 9 deletions(-)

diff --git a/.maintain/gitlab/check_polkadot_companion_build.sh b/.maintain/gitlab/check_polkadot_companion_build.sh
index 26ee73ef71f83..e68ce45b3fb92 100755
--- a/.maintain/gitlab/check_polkadot_companion_build.sh
+++ b/.maintain/gitlab/check_polkadot_companion_build.sh
@@ -87,15 +87,7 @@ then
     git checkout pr/${pr_companion}
     git merge origin/master
   else
-    pr_ref="$(grep -Po '"ref"\s*:\s*"\K(?!master)[^"]*' "${pr_data_file}")"
-    if git fetch origin "$pr_ref":branch/"$pr_ref" 2>/dev/null
-    then
-      boldprint "companion branch detected: $pr_ref"
-      git checkout branch/"$pr_ref"
-      git merge origin/master
-    else
-      boldprint "no companion branch found - building polkadot:master"
-    fi
+    boldprint "no companion branch found - building polkadot:master"
   fi
   rm -f "${pr_data_file}"
 else