Lines Matching +full:cancel +full:- +full:in +full:- +full:progress

2 # It compares the current master with the data/deleted.files file and cleans the file from any re-i…
4 # unless they are already listed there or are excluded from the release archives (export-ignore in …
6 # Finally, the list of newly removed entries receives a header "# removed on $(date -I)" with the c…
12       - master
15   group: ${{ github.workflow }}-${{ github.ref }}
16   cancel-in-progress: true
21     runs-on: ubuntu-latest
23       - name: Checkout
26           fetch-depth: 0
28       - name: Cleaning list from re-introduced files
30           for E in $(git ls-tree -r master --name-only); do
31             if (git check-attr export-ignore "$E" | grep -q "export-ignore: set"); then
34 …         grep -v "^$E$" data/deleted.files > data/deleted.files.tmp && mv data/deleted.files{.tmp,}
37       - name: Update list with deleted files
39 …for F in $(git diff origin/stable..HEAD --summary | awk '/^ delete/ && $4 !~ /^(VERSION)/ {print $…
40             if (git check-attr export-ignore "$F" | grep -q "export-ignore: set"); then
43             if grep -q "^$F$" data/deleted.files; then
46             if ( ! test -f "data/deleted.files.tmp"); then
47 …awk -v "input=# newly removed" '/# removed on/ && !found {print input; found=1} 1' data/deleted.fi…
49 …awk -v "input=$F" '/# removed on/ && !found {print input; found=1} 1' data/deleted.files > data/de…
51           if (test -f "data/deleted.files.tmp"); then
53             sed -i "s/^# newly removed/# removed on $(date -I)/" data/deleted.files
56       - name: Create Pull Request
57         uses: peter-evans/create-pull-request@v6
59           commit-message: "�� Update deleted files"
62           delete-branch: true