diff --git a/.github/workflows/slash_clippy.yml b/.github/workflows/slash_clippy.yml index e81d5a30..1bb52368 100644 --- a/.github/workflows/slash_clippy.yml +++ b/.github/workflows/slash_clippy.yml @@ -13,11 +13,14 @@ jobs: dispatch: if: ${{ github.event.issue.pull_request && startsWith(github.event.comment.body, '/clippy') }} runs-on: ubuntu-latest + permissions: + issues: write + pull-requests: write steps: - uses: peter-evans/slash-command-dispatch@v4 with: - token: ${{ secrets.GITHUB_TOKEN }} - reaction-token: ${{ secrets.GITHUB_TOKEN }} + token: ${{ secrets.SLASH_COMMAND_PAT }} + reaction-token: ${{ secrets.SLASH_COMMAND_PAT }} commands: clippy dispatch-type: repository issue-type: pull-request diff --git a/README.md b/README.md index b7c3b96b..a4b56207 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. +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. `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.