@@ -14,54 +14,15 @@ jobs:
1414 contents : write
1515 pull-requests : write
1616 steps :
17- - name : Generate a token
18- id : generate-token
19- uses : actions/create-github-app-token@v1
20- with :
21- app-id : ${{ vars.RESYNTAX_APP_ID }}
22- private-key : ${{ secrets.RESYNTAX_APP_PRIVATE_KEY }}
23- - name : Get GitHub App User ID
24- id : get-user-id
25- run : echo "user-id=$(gh api "/users/${{ steps.generate-token.outputs.app-slug }}[bot]" --jq .id)" >> "$GITHUB_OUTPUT"
26- env :
27- GH_TOKEN : ${{ steps.generate-token.outputs.token }}
2817 - name : Checkout code
291830- # See https://github.com/actions/checkout/issues/118.
31- with :
32- fetch-depth : 0
3319 - name : Install Racket
34203521 with :
3622 version : current
3723 dest : ' "${HOME}/racketdist-current-CS"'
3824 sudo : never
39- - name : Install Resyntax
40- run : raco pkg install --auto --link --name resyntax
41- - name : Create a new branch
42- run : git checkout -b autofix-${{ github.run_number }}-${{ github.run_attempt }}
43- - name : Run Resyntax
44- run : racket -l- resyntax/cli fix --directory . --max-fixes 20 --max-modified-files 3 --output-as-commit-message >> /tmp/resyntax-output.txt
45- - name : Create pull request
46- 25+ - name : Create a Resyntax pull request
26+ 4727 with :
48- github-token : ${{ steps.generate-token.outputs.token }}
49- script : |
50- const { readFile, writeFile } = require('fs/promises');
51- const commitMessageBody = await readFile('/tmp/resyntax-output.txt', { encoding: 'utf8' });
52- const commitMessageTitle = "Automated Resyntax fixes";
53- const commitMessage = commitMessageTitle + "\n\n" + commitMessageBody;
54- await writeFile('/tmp/resyntax-commit-message.txt', commitMessage);
55- await exec.exec('git config user.name "${{ steps.generate-token.outputs.app-slug }}[bot]"');
56- await exec.exec('git config user.email "${{ steps.get-user-id.outputs.user-id }}+${{ steps.generate-token.outputs.app-slug }}[bot]@users.noreply.github.com"');
57- await exec.exec('git commit --all --file=/tmp/resyntax-commit-message.txt');
58- await exec.exec('git push --set-upstream origin autofix-${{ github.run_number }}-${{ github.run_attempt }}');
59- await github.rest.pulls.create({
60- owner: context.repo.owner,
61- repo: context.repo.repo,
62- title: commitMessageTitle,
63- head: "autofix-${{ github.run_number }}-${{ github.run_attempt }}",
64- base: "master",
65- body: commitMessageBody,
66- maintainer_can_modify: true,
67- });
28+ private-key : ${{ secrets.RESYNTAX_APP_PRIVATE_KEY }}
0 commit comments