Skip to content
Merged
Changes from 1 commit
Commits
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
2 changes: 2 additions & 0 deletions bin/ensure-up-to-date
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,9 @@ sleep 5
./bin/openapi3/php-petstore.sh

# Check:
echo "Perform git diff"
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I would have let this 3 lines (echo, git diff and git status) inside the if... We do not need them in the OK case.

git --no-pager diff
git status
if [ -n "$(git status --porcelain)" ]; then
echo "UNCOMMITTED CHANGES ERROR"
echo "There are uncommitted changes in working tree after execution of 'bin/ensure-up-to-date'"
Expand Down