2020-09-09 03:38:20 -04:00
|
|
|
set -e
|
|
|
|
|
|
2020-11-26 07:44:25 -05:00
|
|
|
source .github/scripts/common.sh
|
2020-09-09 03:38:20 -04:00
|
|
|
|
|
|
|
|
# Output any changes in the repository
|
|
|
|
|
# ------------------------------------------------------------------------
|
|
|
|
|
start_section git-status "Current git status"
|
|
|
|
|
|
|
|
|
|
git diff
|
|
|
|
|
|
|
|
|
|
$SPACER
|
|
|
|
|
|
|
|
|
|
git status
|
|
|
|
|
|
|
|
|
|
end_section git-status
|
|
|
|
|
|
|
|
|
|
# Check there are not changes in the repository
|
|
|
|
|
# ------------------------------------------------------------------------
|
|
|
|
|
start_section git-check "Checking git repository isn't dirty"
|
|
|
|
|
|
|
|
|
|
(
|
|
|
|
|
. "$(git --exec-path)/git-sh-setup"
|
|
|
|
|
|
|
|
|
|
require_clean_work_tree "continue" "Please run ``make README.rst`` to generate correct ``README.rst``."
|
|
|
|
|
)
|
|
|
|
|
|
|
|
|
|
end_section git-check
|
