mirror of
https://github.com/JanDeDobbeleer/oh-my-posh.git
synced 2024-11-10 04:54:03 -08:00
1ceb6dc3a9
Bumps [actions/checkout](https://github.com/actions/checkout) from 3.1.0 to 3.2.0.
- [Release notes](https://github.com/actions/checkout/releases)
- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)
- [Commits](93ea575cb5...755da8c3cf
)
---
updated-dependencies:
- dependency-name: actions/checkout
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com>
67 lines
2.1 KiB
YAML
67 lines
2.1 KiB
YAML
name: Contributors
|
|
on:
|
|
pull_request_target:
|
|
types:
|
|
- closed
|
|
|
|
jobs:
|
|
check:
|
|
runs-on: ubuntu-latest
|
|
if: github.event.pull_request.merged == true
|
|
steps:
|
|
- name: Checkout code 👋
|
|
uses: actions/checkout@755da8c3cf115ac066823e79a1e1788f8940201b
|
|
- name: Check and comment 👩🏾💻
|
|
uses: actions/github-script@d556feaca394842dc55e4734bf3bb9f685482fa0
|
|
with:
|
|
github-token: ${{ secrets.GH_PAT }}
|
|
script: |
|
|
const { repo: { owner, repo } } = context;
|
|
const pr = context.payload.pull_request;
|
|
|
|
if (pr.user.id === 2492783 || pr.user.type === "Bot") {
|
|
console.log('No credit for maintainer/bot, stop processing');
|
|
return;
|
|
}
|
|
|
|
const response = await github.rest.pulls.listFiles({
|
|
owner, repo,
|
|
pull_number: pr.number
|
|
});
|
|
|
|
if (response.status !== 200) {
|
|
console.log('Could not fetch files');
|
|
return;
|
|
}
|
|
|
|
var addContribution = function(arr, name, path, contribution) {
|
|
if (arr.indexOf(contribution) != -1) {
|
|
return
|
|
}
|
|
if (name.includes(path)) {
|
|
arr.push(contribution)
|
|
}
|
|
};
|
|
|
|
var contributions = [];
|
|
for (const file of response.data) {
|
|
const name = file.filename;
|
|
addContribution(contributions, name, 'themes/', 'design');
|
|
addContribution(contributions, name, 'src/', 'code');
|
|
addContribution(contributions, name, 'website/', 'doc');
|
|
}
|
|
|
|
if (contributions.length === 0) {
|
|
console.log('No relevant additions found');
|
|
return;
|
|
}
|
|
|
|
const body = `@all-contributors please add @${pr.user.login} for ${contributions.join()}`;
|
|
|
|
console.log(`Adding comment: ${body}`);
|
|
await github.rest.issues.createComment({
|
|
owner, repo,
|
|
issue_number: pr.number,
|
|
body,
|
|
});
|