Merge pull request #10867 from is-a-dev/wdhdev/remove-notify-api

Remove Notify API
This commit is contained in:
William Harrison
2024-01-08 16:15:56 +08:00
committed by GitHub
2 changed files with 0 additions and 36 deletions
-26
View File
@@ -1,26 +0,0 @@
name: Helper
on:
pull_request:
types:
- closed
jobs:
instructions:
name: instructions
runs-on: ubuntu-latest
steps:
- 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);
-10
View File
@@ -1,10 +0,0 @@
{
"owner": {
"username": "is-a-dev",
"email": "phenax5@gmail.com"
},
"record": {
"CNAME": "dns.beadman-network.com"
}
}