Skip to content

Commit

Permalink
Removed bot comment about title and JIRA. (#4)
Browse files Browse the repository at this point in the history
  • Loading branch information
jorgecarleitao authored Apr 19, 2021
1 parent 190774f commit f63b8c7
Show file tree
Hide file tree
Showing 4 changed files with 0 additions and 186 deletions.
24 changes: 0 additions & 24 deletions .github/workflows/dev_pr.yml
Original file line number Diff line number Diff line change
Expand Up @@ -35,30 +35,6 @@ jobs:
steps:
- uses: actions/checkout@v2

- name: Comment JIRA link
if: |
github.event_name == 'pull_request_target' &&
(github.event.action == 'opened' ||
github.event.action == 'edited')
uses: actions/github-script@v3
with:
github-token: ${{ secrets.GITHUB_TOKEN }}
script: |
const script = require(`${process.env.GITHUB_WORKSPACE}/.github/workflows/dev_pr/link.js`);
script({github, context});
- name: Check title
if: |
github.event_name == 'pull_request_target' &&
(github.event.action == 'opened' ||
github.event.action == 'edited')
uses: actions/github-script@v3
with:
github-token: ${{ secrets.GITHUB_TOKEN }}
script: |
const script = require(`${process.env.GITHUB_WORKSPACE}/.github/workflows/dev_pr/title_check.js`);
script({github, context});
- name: Assign GitHub labels
if: |
github.event_name == 'pull_request_target' &&
Expand Down
69 changes: 0 additions & 69 deletions .github/workflows/dev_pr/link.js

This file was deleted.

56 changes: 0 additions & 56 deletions .github/workflows/dev_pr/title_check.js

This file was deleted.

37 changes: 0 additions & 37 deletions .github/workflows/dev_pr/title_check.md

This file was deleted.

0 comments on commit f63b8c7

Please sign in to comment.