Remove polkadot companion detection from url anywhere (#6570)

This commit is contained in:
Cecile Tonglet
2020-07-16 11:01:18 +02:00
committed by GitHub
parent d4c21eace6
commit 2827637103
3 changed files with 4 additions and 22 deletions
@@ -24,8 +24,7 @@ this job checks if there is a string in the description of the pr like
polkadot companion: paritytech/polkadot#567
or any other polkadot pr is mentioned in this pr's description and checks its
status.
and checks its status.
EOT
@@ -48,14 +47,6 @@ pr_companion="$(echo "${pr_body}" | sed -n -r \
-e 's;^.*polkadot companion: https://github.com/paritytech/polkadot/pull/([0-9]+).*$;\1;p' \
| tail -n 1)"
# get companion mentioned in the description
if [ -z "${pr_companion}" ]
then
pr_companion="$(echo "${pr_body}" | sed -n -r \
's;^.*https://github.com/paritytech/polkadot/pull/([0-9]+).*$;\1;p' \
| tail -n 1)"
fi
if [ -z "${pr_companion}" ]
then
boldprint "no companion pr found"