From 8e3f4137095c2f569dc51b63253f72f097eec5d4 Mon Sep 17 00:00:00 2001 From: Nick Guerrera Date: Fri, 14 Apr 2023 11:55:12 -0500 Subject: [PATCH] Remove format PR workflow --- .github/workflows/format-pr.yml | 63 --------------------------------- 1 file changed, 63 deletions(-) delete mode 100644 .github/workflows/format-pr.yml diff --git a/.github/workflows/format-pr.yml b/.github/workflows/format-pr.yml deleted file mode 100644 index 2cf52e67031..00000000000 --- a/.github/workflows/format-pr.yml +++ /dev/null @@ -1,63 +0,0 @@ -name: Format - -on: - issue_comment: - types: [created] - -concurrency: ${{ github.workflow }}-${{ github.ref }} - -# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages -permissions: - id-token: write - contents: write - pull-requests: write - -jobs: - # Create PR - pr_commented: - name: Format comment - if: ${{ github.event.issue.pull_request && contains(github.event.comment.body, '/tspeng format') }} - runs-on: ubuntu-latest - steps: - - uses: actions/github-script@v5 - with: - github-token: ${{secrets.GITHUB_TOKEN}} - script: | - github.rest.issues.createComment({ - issue_number: context.issue.number, - owner: context.repo.owner, - repo: context.repo.repo, - body: 'Starting formatter! See progress [here](${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }})' - }) - - - name: Checkout - uses: actions/checkout@v3 - - name: Checkout Pull Request - run: | - git config --global hub.protocol https - hub pr checkout ${{ github.event.issue.number }} - env: - GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} - - - name: Use Node.js node 18.x - uses: actions/setup-node@v3 - with: - node-version: 18.x - - - name: Install dependencies - run: node common/scripts/install-run-rush.js update - - - name: Build necessary packages - run: node common/scripts/install-run-rush.js build --to @typespec/prettier-plugin-typespec - - - name: Format - run: node common/scripts/install-run-rush.js format - - - name: Commit - run: | - git config --global user.name 'TypeSpec Eng Bot' - git config --global user.email 'microsoft@users.noreply.github.com' - git commit -am "Format" - - - name: Push - run: git push