jprdonnelly/docs
1
0
Fork 0
mirror of synced 2025-12-19 18:10:59 -05:00
Code Issues Projects Releases Wiki Activity

Merge pull request #15931 from github/repo-sync

Browse Source 
repo sync
This commit is contained in:
Octomerger Bot
2020-10-07 13:11:24 -07:00
committed by GitHub
parent 4f90166cbe ee6f5ae03e
commit 0976f74b1a
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
.github/workflows/merged-notification.yml vendored
View File

@@ -15,9 +15,9 @@ jobs:
issue_number: context.payload.pull_request.number,
body: `Thanks very much for contributing! Your pull request has been merged 🎉 You should see your changes appear on the site in approximately 24 hours. To add your ✨ contribution to the README.md, create a new comment in this PR with:
```
\`\`\`
@all-contributors please add @${context.payload.pull_request.user.login} for docs
```
\`\`\`
If you want to, you can use the [emoji key](https://allcontributors.org/docs/en/emoji-key) to replace docs with a different contribution type.`
})