From 19b1e0af4d9aebf51af58de845244854c38dad3e Mon Sep 17 00:00:00 2001 From: Alan O'Callaghan Date: Mon, 3 Feb 2025 17:01:29 +0000 Subject: [PATCH] Run sandpaper::update_github_workflows() --- .github/workflows/README.md | 0 .github/workflows/close-pr.yaml | 61 -------------------- .github/workflows/pr-close-signal.yaml | 0 .github/workflows/pr-comment.yaml | 0 .github/workflows/pr-post-remove-branch.yaml | 0 .github/workflows/pr-preflight.yaml | 0 .github/workflows/pr-receive.yaml | 0 .github/workflows/sandpaper-main.yaml | 0 .github/workflows/sandpaper-version.txt | 2 +- .github/workflows/update-cache.yaml | 0 .github/workflows/update-workflows.yaml | 0 11 files changed, 1 insertion(+), 62 deletions(-) mode change 100755 => 100644 .github/workflows/README.md delete mode 100644 .github/workflows/close-pr.yaml mode change 100755 => 100644 .github/workflows/pr-close-signal.yaml mode change 100755 => 100644 .github/workflows/pr-comment.yaml mode change 100755 => 100644 .github/workflows/pr-post-remove-branch.yaml mode change 100755 => 100644 .github/workflows/pr-preflight.yaml mode change 100755 => 100644 .github/workflows/pr-receive.yaml mode change 100755 => 100644 .github/workflows/sandpaper-main.yaml mode change 100755 => 100644 .github/workflows/update-cache.yaml mode change 100755 => 100644 .github/workflows/update-workflows.yaml diff --git a/.github/workflows/README.md b/.github/workflows/README.md old mode 100755 new mode 100644 diff --git a/.github/workflows/close-pr.yaml b/.github/workflows/close-pr.yaml deleted file mode 100644 index e895432f..00000000 --- a/.github/workflows/close-pr.yaml +++ /dev/null @@ -1,61 +0,0 @@ -name: "Pull Request in wrong branch" - -on: - pull_request_target: - types: - ["opened", "synchronize", "reopened"] - -jobs: - close-pr: - permissions: - pull-requests: write - name: "Inform of Workbench and Close" - if: ${{ github.event.action != 'closed' }} - runs-on: ubuntu-latest - steps: - - name: Provide Guidance - id: comment-diff - if: ${{ always() }} - uses: carpentries/actions/comment-diff@main - with: - pr: ${{ github.event.number }} - body: > - # :no_entry_sign: The `gh-pages` branch is no longer editable :no_entry_sign: - - Thank you for your contribution. This lesson has migrated to use - [The Carpentries Workbench](https://carpentries.github.io/workbench) - and the `gh-pages` branch is now automatically generated. This - means in order to contribute, **you will need to delete and re-fork - this repository.** - - ## How to contribute - - If you wish to contribute, you will need to use the following steps - to delete, re-fork, and re-create your pull request (aka the [burn - it all down strategy](https://happygitwithr.com/burn.html)): - - 1. Save your edits on locally or in a scratch space. - - 2. **[Delete your fork](https://docs.github.com/en/repositories/creating-and-managing-repositories/deleting-a-repository)** - - 3. **[Create a new fork](https://docs.github.com/en/get-started/quickstart/fork-a-repo)** or use the "edit" button on the page you wish to edit. - - 4. Apply your changes (**NOTE The Workbench uses a different syntax.** Here is a [Transition Guide from Styles to Workbench](https://carpentries.github.io/workbench/transition-guide.html) for your reference). - - ## Questions - - If you have any questions or would like assistance, please contact - @core-team-curriculum (curriculum@carpentries.org) or you can - respond to this message. - - - name: Close Pull Request - uses: actions/github-script@v6 - if: ${{ always() }} - with: - script: | - github.rest.pulls.update({ - pull_number: context.payload.pull_request.number, - owner: context.repo.owner, - repo: context.repo.repo, - state: 'closed' - }) diff --git a/.github/workflows/pr-close-signal.yaml b/.github/workflows/pr-close-signal.yaml old mode 100755 new mode 100644 diff --git a/.github/workflows/pr-comment.yaml b/.github/workflows/pr-comment.yaml old mode 100755 new mode 100644 diff --git a/.github/workflows/pr-post-remove-branch.yaml b/.github/workflows/pr-post-remove-branch.yaml old mode 100755 new mode 100644 diff --git a/.github/workflows/pr-preflight.yaml b/.github/workflows/pr-preflight.yaml old mode 100755 new mode 100644 diff --git a/.github/workflows/pr-receive.yaml b/.github/workflows/pr-receive.yaml old mode 100755 new mode 100644 diff --git a/.github/workflows/sandpaper-main.yaml b/.github/workflows/sandpaper-main.yaml old mode 100755 new mode 100644 diff --git a/.github/workflows/sandpaper-version.txt b/.github/workflows/sandpaper-version.txt index 084c7bd0..f2f6c138 100644 --- a/.github/workflows/sandpaper-version.txt +++ b/.github/workflows/sandpaper-version.txt @@ -1 +1 @@ -0.16.10 +0.16.11 diff --git a/.github/workflows/update-cache.yaml b/.github/workflows/update-cache.yaml old mode 100755 new mode 100644 diff --git a/.github/workflows/update-workflows.yaml b/.github/workflows/update-workflows.yaml old mode 100755 new mode 100644