1290ea73dSAndreas Gohr# This workflow updates the list of deleted files based on the recent changes and creates a pull request. 2290ea73dSAndreas Gohr# It compares the current master with the stable branch and adds all deleted files to the data/deleted.files file 3290ea73dSAndreas Gohr# unless they are already listed there or are excluded from the release archives (export-ignore in .gitattributes). 4290ea73dSAndreas Gohr 5290ea73dSAndreas Gohrname: "Update deleted files" 6290ea73dSAndreas Gohron: 7290ea73dSAndreas Gohr push: 8290ea73dSAndreas Gohr branches: 9290ea73dSAndreas Gohr - master 10290ea73dSAndreas Gohr 11290ea73dSAndreas Gohrjobs: 12290ea73dSAndreas Gohr update: 13290ea73dSAndreas Gohr name: Update deleted files 14290ea73dSAndreas Gohr runs-on: ubuntu-latest 15290ea73dSAndreas Gohr steps: 16290ea73dSAndreas Gohr - name: Checkout 17290ea73dSAndreas Gohr uses: actions/checkout@v3 18290ea73dSAndreas Gohr with: 19290ea73dSAndreas Gohr fetch-depth: 0 20290ea73dSAndreas Gohr 21290ea73dSAndreas Gohr - name: Update deleted files 22290ea73dSAndreas Gohr run: | 23290ea73dSAndreas Gohr for F in $(git diff origin/stable..HEAD --summary | awk '/^ delete/ && $4 !~ /^(VERSION)/ {print $4}'); do 24290ea73dSAndreas Gohr if grep -q "^$F export-ignore" .gitattributes; then 25290ea73dSAndreas Gohr continue 26290ea73dSAndreas Gohr fi 27290ea73dSAndreas Gohr if grep -q "^$F" data/deleted.files; then 28290ea73dSAndreas Gohr continue 29290ea73dSAndreas Gohr fi 30290ea73dSAndreas Gohr echo "$F" >> data/deleted.files 31290ea73dSAndreas Gohr done 32290ea73dSAndreas Gohr 33290ea73dSAndreas Gohr - name: Create Pull Request 34290ea73dSAndreas Gohr uses: peter-evans/create-pull-request@v4 35290ea73dSAndreas Gohr with: 36290ea73dSAndreas Gohr commit-message: "Update deleted files" 37290ea73dSAndreas Gohr title: "Update deleted files" 38290ea73dSAndreas Gohr body: "This updates the list of deleted files based on the recent changes." 39290ea73dSAndreas Gohr delete-branch: true 40*077b7fe2SAndreas Gohr branch: "bot/deletedFiles" 41