mirror of
https://github.com/git/git
synced 2024-10-30 14:03:28 +00:00
763f20fb4a
Avoid unnecessary builds in CI, with settings configured in ci-config. * tb/ci-concurrency: ci: avoid unnecessary builds
111 lines
3.8 KiB
YAML
111 lines
3.8 KiB
YAML
name: git-l10n
|
|
|
|
on: [push, pull_request_target]
|
|
|
|
# Avoid unnecessary builds. Unlike the main CI jobs, these are not
|
|
# ci-configurable (but could be).
|
|
concurrency:
|
|
group: ${{ github.workflow }}-${{ github.ref }}
|
|
cancel-in-progress: true
|
|
|
|
jobs:
|
|
git-po-helper:
|
|
if: >-
|
|
endsWith(github.repository, '/git-po') ||
|
|
contains(github.head_ref, 'l10n') ||
|
|
contains(github.ref, 'l10n')
|
|
runs-on: ubuntu-latest
|
|
permissions:
|
|
pull-requests: write
|
|
steps:
|
|
- name: Setup base and head objects
|
|
id: setup-tips
|
|
run: |
|
|
if test "${{ github.event_name }}" = "pull_request_target"
|
|
then
|
|
base=${{ github.event.pull_request.base.sha }}
|
|
head=${{ github.event.pull_request.head.sha }}
|
|
else
|
|
base=${{ github.event.before }}
|
|
head=${{ github.event.after }}
|
|
fi
|
|
echo base=$base >>$GITHUB_OUTPUT
|
|
echo head=$head >>$GITHUB_OUTPUT
|
|
- name: Run partial clone
|
|
run: |
|
|
git -c init.defaultBranch=master init --bare .
|
|
git remote add \
|
|
--mirror=fetch \
|
|
origin \
|
|
https://github.com/${{ github.repository }}
|
|
# Fetch tips that may be unreachable from github.ref:
|
|
# - For a forced push, "$base" may be unreachable.
|
|
# - For a "pull_request_target" event, "$head" may be unreachable.
|
|
args=
|
|
for commit in \
|
|
${{ steps.setup-tips.outputs.base }} \
|
|
${{ steps.setup-tips.outputs.head }}
|
|
do
|
|
case $commit in
|
|
*[^0]*)
|
|
args="$args $commit"
|
|
;;
|
|
*)
|
|
# Should not fetch ZERO-OID.
|
|
;;
|
|
esac
|
|
done
|
|
git -c protocol.version=2 fetch \
|
|
--progress \
|
|
--no-tags \
|
|
--no-write-fetch-head \
|
|
--filter=blob:none \
|
|
origin \
|
|
${{ github.ref }} \
|
|
$args
|
|
- uses: actions/setup-go@v2
|
|
with:
|
|
go-version: '>=1.16'
|
|
- name: Install git-po-helper
|
|
run: go install github.com/git-l10n/git-po-helper@main
|
|
- name: Install other dependencies
|
|
run: |
|
|
sudo apt-get update -q &&
|
|
sudo apt-get install -q -y gettext
|
|
- name: Run git-po-helper
|
|
id: check-commits
|
|
run: |
|
|
exit_code=0
|
|
git-po-helper check-commits \
|
|
--github-action-event="${{ github.event_name }}" -- \
|
|
${{ steps.setup-tips.outputs.base }}..${{ steps.setup-tips.outputs.head }} \
|
|
>git-po-helper.out 2>&1 || exit_code=$?
|
|
if test $exit_code -ne 0 || grep -q WARNING git-po-helper.out
|
|
then
|
|
# Remove ANSI colors which are proper for console logs but not
|
|
# proper for PR comment.
|
|
echo "COMMENT_BODY<<EOF" >>$GITHUB_ENV
|
|
perl -pe 's/\e\[[0-9;]*m//g; s/\bEOF$//g' git-po-helper.out >>$GITHUB_ENV
|
|
echo "EOF" >>$GITHUB_ENV
|
|
fi
|
|
cat git-po-helper.out
|
|
exit $exit_code
|
|
- name: Create comment in pull request for report
|
|
uses: mshick/add-pr-comment@v1
|
|
if: >-
|
|
always() &&
|
|
github.event_name == 'pull_request_target' &&
|
|
env.COMMENT_BODY != ''
|
|
with:
|
|
repo-token: ${{ secrets.GITHUB_TOKEN }}
|
|
repo-token-user-login: 'github-actions[bot]'
|
|
message: >
|
|
${{ steps.check-commits.outcome == 'failure' && 'Errors and warnings' || 'Warnings' }}
|
|
found by [git-po-helper](https://github.com/git-l10n/git-po-helper#readme) in workflow
|
|
[#${{ github.run_number }}](${{ env.GITHUB_SERVER_URL }}/${{ github.repository }}/actions/runs/${{ github.run_id }}):
|
|
|
|
```
|
|
|
|
${{ env.COMMENT_BODY }}
|
|
|
|
```
|