tiennm99/is-a-dev
1
0
Fork 0
mirror of https://github.com/tiennm99/is-a-dev.git synced 2026-08-12 18:25:15 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix Bot

Browse Source
This commit is contained in:
IS A DEV
2022-07-18 20:45:58 +01:00
committed by GitHub
parent eee4442b82
commit f264c437a1
1 changed files with 14 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.github/workflows/bot.yml
+14 -12
View File
@@ -10,15 +10,17 @@ jobs:
name: instructions
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Comment
if: github.event.action == 'closed' && github.event.pull_request.merged == true
uses: actions/github-script@v3
with:
github-token: ${{secrets.GITHUB_TOKEN}}
script: |
const { hasLabel } = require(`${process.env.GITHUB_WORKSPACE}/scripts/action-utils.js`);
const { instructions } = require(`${process.env.GITHUB_WORKSPACE}/scripts/reply.js`);
if (hasLabel(context, 'domain'))
console.log('Domain');
await instructions(context, github);
- run: curl https://notify-api.is-a.dev/pr/merged/${{ github.event.pull_request.number }}
if: github.event.action == 'closed' && github.event.pull_request.merged == true
# - uses: actions/checkout@v2
# - name: Comment
# if: github.event.action == 'closed' && github.event.pull_request.merged == true
# uses: actions/github-script@v3
# with:
# github-token: ${{secrets.GITHUB_TOKEN}}
# script: |
# const { hasLabel } = require(`${process.env.GITHUB_WORKSPACE}/scripts/action-utils.js`);
# const { instructions } = require(`${process.env.GITHUB_WORKSPACE}/scripts/reply.js`);
# if (hasLabel(context, 'domain'))
# console.log('Domain');
# await instructions(context, github);