Skip to content

Update de.json

Update de.json #3

Workflow file for this run

name: Add merge comment
on:
pull_request:
types: [closed]
jobs:
add-merge-comment:
runs-on: ubuntu-latest
if: github.event.pull_request.merged == true
steps:
- name: Add comment to merged pull request
uses: actions/github-script@v6
with:
github-token: ${{ secrets.GITHUB_TOKEN }}
script: |
const pull_request = context.payload.pull_request;
const author = pull_request.user.login;
const issue_number = pull_request.number;
const body = `Thanks @${author} 🚀`;
await github.rest.issues.createComment({
owner: context.repo.owner,
repo: context.repo.repo,
issue_number: issue_number,
body: body
});