mirror of
https://github.com/datahub-project/datahub.git
synced 2025-12-30 03:18:24 +00:00
43 lines
1.6 KiB
YAML
43 lines
1.6 KiB
YAML
name: PR Comment
|
|
|
|
on:
|
|
pull_request:
|
|
types: [opened]
|
|
|
|
permissions:
|
|
pull-requests: write
|
|
|
|
jobs:
|
|
post-pr-opened-comment:
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- name: Checkout repository
|
|
uses: actions/checkout@v4
|
|
|
|
- name: Get and Format Username (PR only)
|
|
if: github.event_name == 'pull_request'
|
|
run: |
|
|
formatted_username="$(echo "${{ github.event.pull_request.user.login }}" | tr '[:upper:]' '[:lower:]' | sed 's/ /-/g')"
|
|
echo "FORMATTED_USERNAME=${formatted_username}" >> "$GITHUB_ENV"
|
|
|
|
- name: Create Comment (PR only)
|
|
if: github.event_name == 'pull_request'
|
|
uses: actions/github-script@v7
|
|
with:
|
|
script: |
|
|
if (context.payload.pull_request) {
|
|
const prUser = process.env.FORMATTED_USERNAME;
|
|
const url = `https://contributors.datahubproject.io/${prUser}`;
|
|
const body = `Hello @${prUser} :smile: \n\n Thank you so much for opening a pull request!\n\n\nYou can check out your contributor card and see all your past stats [here](${url})!`;
|
|
|
|
// Create a comment on the PR
|
|
await github.rest.issues.createComment({
|
|
owner: context.repo.owner,
|
|
repo: context.repo.repo,
|
|
issue_number: context.payload.pull_request.number,
|
|
body: body
|
|
});
|
|
} else {
|
|
console.log('Not a pull request event.');
|
|
}
|