Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

GH job to check that postgres/ has not been unintentianally changed, take 2 #6715

Merged
merged 9 commits into from
Jan 19, 2024
Merged

GH job to check that postgres/ has not been unintentianally changed, take 2 #6715

Changes from all commits
Commits
Show all changes
9 commits
Select commit Hold shift + click to select a range
b034994
fix
aljazerzen Jan 19, 2024
b9dca91
fix
aljazerzen Jan 19, 2024
f79bdd8
fix
aljazerzen Jan 19, 2024
021cc42
change postgres (unintentianally)
aljazerzen Jan 19, 2024
c64cc35
fix
aljazerzen Jan 19, 2024
f1622ab
change postgres (unintentianally)
aljazerzen Jan 19, 2024
621ebc8
fix
aljazerzen Jan 19, 2024
81f94d1
fix
aljazerzen Jan 19, 2024
53e2d71
Revert "change postgres (unintentianally)"
aljazerzen Jan 19, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
16 changes: 9 additions & 7 deletions .github/workflows/pull-request-target.yml → .github/workflows/pull-request-meta.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
name: Pull Request
name: Pull Request Meta

on:
pull_request_target:
pull_request:
types: [opened, edited, synchronize, labeled, closed]

concurrency:
Expand All @@ -28,12 +28,14 @@ jobs:
exit 0
fi

git diff --quiet \
if git diff --quiet \
${{ github.event.pull_request.base.sha }} \
${{ github.event.pull_request.head.sha }}
if [ $? != 0 ]; then
${{ github.event.pull_request.head.sha }} -- postgres/
then
echo 'all ok'
else
echo "postgres/ submodule has been changed,"\
"but PR title does not indicate that" 1>&2
echo "(it should start with '$required_prefix')" 1>&2
"but PR title does not indicate that"
echo "(it should start with '$required_prefix')"
exit 1
fi
Loading