From c8417540aca822a6c63b6ac61e681d929842c392 Mon Sep 17 00:00:00 2001 From: Dylan Kritter <100829534+dlkritter@users.noreply.github.com> Date: Sun, 2 Nov 2025 12:05:09 -0500 Subject: [PATCH 1/4] Modify pull request permissions in slash_clippy.yml Updated permissions for pull requests in the Clippy workflow and added job-specific permissions. --- .github/workflows/slash_clippy.yml | 15 ++++++++++++--- 1 file changed, 12 insertions(+), 3 deletions(-) diff --git a/.github/workflows/slash_clippy.yml b/.github/workflows/slash_clippy.yml index e81d5a30..ce16ed3e 100644 --- a/.github/workflows/slash_clippy.yml +++ b/.github/workflows/slash_clippy.yml @@ -3,18 +3,25 @@ name: SlashClippy on: issue_comment: types: [created] - permissions: contents: write issues: write - pull-requests: read + pull-requests: write jobs: dispatch: if: ${{ github.event.issue.pull_request && startsWith(github.event.comment.body, '/clippy') }} runs-on: ubuntu-latest + + # job-specific permissions - required for reactions + permissions: + contents: write + issues: write + pull-requests: write + steps: - - uses: peter-evans/slash-command-dispatch@v4 + - name: Dispatch Clippy Command + uses: peter-evans/slash-command-dispatch@v4 with: token: ${{ secrets.GITHUB_TOKEN }} reaction-token: ${{ secrets.GITHUB_TOKEN }} @@ -22,3 +29,5 @@ jobs: dispatch-type: repository issue-type: pull-request repository: ${{ github.repository }} + # Conditionally enable reactions only if the PR is not from a fork to avoid run failures + reactions: ${{ github.event.issue.pull_request.head.repo.full_name == github.repository && 'eyes' || '' }} From 013b16e92d7bafa7c21f46be0e7c534c83ea63d8 Mon Sep 17 00:00:00 2001 From: Dylan Kritter Date: Sun, 2 Nov 2025 12:10:20 -0500 Subject: [PATCH 2/4] slash test readme.md --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index b7c3b96b..c4a116a7 100644 --- a/README.md +++ b/README.md @@ -7,6 +7,8 @@ Welcome to Aria. Aria is a modern, dynamic scripting language. It is meant to be a "sweet spot" language, easy to pick-up and with a good balance between ease of use, safety, and flexibility. Aria's design choices help you build great programs quickly. +boom + Aria has modern, safer error handling: Aria replaces unreliable `None` pointer checks with a modern, multi-tiered approach to error handling. By emphasizing algebraic data types (e.g. `Maybe`), Aria makes errors explicit, safer, and easier to manage, with fewer runtime surprises. `null`, the [billion dollar mistake](https://softwareengineering.stackexchange.com/questions/413149/if-null-is-a-billion-dollar-mistake-what-is-the-solution-to-represent-a-non-ini) just does not exist in Aria, making code safer, easier to maintain and error handling more robust. From 826fb91e1e7b20f3011e48524c15e05dbfe22f37 Mon Sep 17 00:00:00 2001 From: Dylan Kritter Date: Sun, 2 Nov 2025 12:16:09 -0500 Subject: [PATCH 3/4] slash test again readme.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index c4a116a7..7a626958 100644 --- a/README.md +++ b/README.md @@ -7,7 +7,7 @@ Welcome to Aria. Aria is a modern, dynamic scripting language. It is meant to be a "sweet spot" language, easy to pick-up and with a good balance between ease of use, safety, and flexibility. Aria's design choices help you build great programs quickly. -boom +boom bang Aria has modern, safer error handling: Aria replaces unreliable `None` pointer checks with a modern, multi-tiered approach to error handling. By emphasizing algebraic data types (e.g. `Maybe`), Aria makes errors explicit, safer, and easier to manage, with fewer runtime surprises. From 75b52714fa8973c47bb6a7d22260a7c12b54a5e0 Mon Sep 17 00:00:00 2001 From: Dylan Kritter Date: Sun, 2 Nov 2025 12:25:00 -0500 Subject: [PATCH 4/4] slash test boom readme.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 7a626958..98bcf412 100644 --- a/README.md +++ b/README.md @@ -7,7 +7,7 @@ Welcome to Aria. Aria is a modern, dynamic scripting language. It is meant to be a "sweet spot" language, easy to pick-up and with a good balance between ease of use, safety, and flexibility. Aria's design choices help you build great programs quickly. -boom bang +boom bang pop Aria has modern, safer error handling: Aria replaces unreliable `None` pointer checks with a modern, multi-tiered approach to error handling. By emphasizing algebraic data types (e.g. `Maybe`), Aria makes errors explicit, safer, and easier to manage, with fewer runtime surprises.