2021-02-24 01:47:06 +00:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
2021-07-13 02:36:45 +00:00
|
|
|
changelog_entry=$(sed -n '/^Significance/,/^==/p' changelogs/* | grep -w "#$PR_NUMBER")
|
2021-02-24 01:47:06 +00:00
|
|
|
|
|
|
|
|
if [ -z "$changelog_entry" ]
|
|
|
|
|
then
|
|
|
|
|
echo "Error: No changelog entry was provided for #$PR_NUMBER"
|
|
|
|
|
echo "label_action=add" >> $GITHUB_ENV
|
|
|
|
|
echo "label=needs changelog entry" >> $GITHUB_ENV
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
echo "label_action=remove" >> $GITHUB_ENV
|
|
|
|
|
echo "label=needs changelog entry" >> $GITHUB_ENV
|
