Move restyled to a github action

[eradman]

What type of PR is this?

• CI/Workflow

Description

#7186 did not pass the restyle check because this app is no longer supported

restyled — The Restyled App has been disabled

This PR introduces a github action as recommended in https://docs.restyled.io/docs/migrating-to-github-actions/

How is this tested?

• Manually

Created PR on personal fork of Redash

https://github.com/eradman/redash/actions/runs/11349876573/job/31566996359

[eradman]

I made one change that differs from what the restyle.io docs suggest:

--- a/.github/workflows/restyled.yml
+++ b/.github/workflows/restyled.yml
@@ -13,7 +13,7 @@ jobs:
     steps:
       - uses: actions/checkout@v4
         with:
-          ref: ${{ github.event.pull_request.head.ref }}
+          ref: ${{ github.event.pull_request.head.sha }}

[justinclift]

@arikfr This one's yours as you'll need to do the Org level stuff to uninstall the Restyled plugin there: https://docs.restyled.io/docs/migrating-to-github-actions/

[arikfr]

Thank you for taking care of this!

[lucydodo]

@arikfr We've been facing the same issue with the 'website' repo for a while.
If you install the application there, I can prepare a PR. :)

[arikfr]

@lucydodo I removed the app from all the repos in this org, so I think it should be possible to add to the website same as was done here?

[lucydodo]

@arikfr Thanks for the confirmation, I created the same PR in the website repo: getredash/website#789

[arikfr]

I made one change that differs from what the restyle.io docs suggest:

What was the reason for this change?

I had a Restyled failure on my PR (#7211) and without changing this back to .ref it failed to create the PR.