Skip to content

Add a repository with an empty root, but treeinfo metadata #178

Add a repository with an empty root, but treeinfo metadata

Add a repository with an empty root, but treeinfo metadata #178

Workflow file for this run

---
name: Issue Checker
on: pull_request
jobs:
test:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- run: |
git fetch --prune --unshallow
- name: Set up Python
uses: actions/setup-python@v4
- name: Install python dependencies
run: |
pip install requests
- name: Check commit message
env:
GITHUB_CONTEXT: ${{ github.event.pull_request.commits_url }}
run: |
for sha in $(curl $GITHUB_CONTEXT | jq '.[].sha' | sed 's/"//g')
do
python .ci/validate_commit_message.py $sha
VALUE=$?
if [ "$VALUE" -gt 0 ]; then
exit $VALUE
fi
done
shell: bash