Merge branch 'main' into main

This commit is contained in:
trueuser
2024-01-08 20:19:43 +07:00
committed by GitHub
3 changed files with 1 additions and 37 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"
}
}
+1 -1
View File
@@ -6,6 +6,6 @@
"email": "pandeysiddhant21@gmail.com"
},
"record": {
"URL": "https://siddhantt.netlify.app"
"URL": "https://siddhantt.vercel.app/"
}
}