mirror of
https://github.com/JanDeDobbeleer/oh-my-posh.git
synced 2024-11-18 00:44:05 -08:00
b3e75b106e
Bumps [actions/github-script](https://github.com/actions/github-script) from 6.3.3 to 6.4.0.
- [Release notes](https://github.com/actions/github-script/releases)
- [Commits](d556feaca3...98814c53be
)
---
updated-dependencies:
- dependency-name: actions/github-script
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com>
65 lines
2.4 KiB
YAML
65 lines
2.4 KiB
YAML
name: Notify When Maintainers Cannot Edit
|
|
|
|
# **What it does**: Notifies the author of a PR when their PR does not allow maintainers to edit it.
|
|
# **Why we have it**: To prevent having to do this manually.
|
|
# **Who does it impact**: Open-source.
|
|
|
|
on:
|
|
pull_request_target:
|
|
types:
|
|
- opened
|
|
|
|
permissions:
|
|
pull-requests: write
|
|
|
|
jobs:
|
|
notify-when-maintainers-cannot-edit:
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- uses: actions/github-script@98814c53be79b1d30f795b907e553d8679345975
|
|
with:
|
|
github-token: ${{ secrets.GH_PAT }}
|
|
script: |
|
|
const query = `
|
|
query($number: Int!) {
|
|
repository(owner: "JanDeDobbeleer", name: "oh-my-posh") {
|
|
pullRequest(number: $number) {
|
|
headRepositoryOwner {
|
|
login
|
|
}
|
|
maintainerCanModify
|
|
}
|
|
}
|
|
}
|
|
`;
|
|
|
|
const pullNumber = context.issue.number;
|
|
const variables = { number: pullNumber };
|
|
|
|
try {
|
|
console.log(`Check JanDeDobbeleer/oh-my-posh#${pullNumber} for maintainer edit access ...`);
|
|
const result = await github.graphql(query, variables);
|
|
|
|
console.log(JSON.stringify(result, null, 2));
|
|
|
|
const pullRequest = result.repository.pullRequest;
|
|
|
|
if (pullRequest.headRepositoryOwner.login === 'JanDeDobbeleer') {
|
|
console.log('PR owned by JanDeDobbeleer');
|
|
return;
|
|
}
|
|
|
|
if (!pullRequest.maintainerCanModify) {
|
|
console.log('PR not owned by JanDeDobbeleer and does not have maintainer edits enabled');
|
|
|
|
await github.rest.issues.createComment({
|
|
issue_number: pullNumber,
|
|
owner: 'JanDeDobbeleer',
|
|
repo: 'oh-my-posh',
|
|
body: "Thanks for submitting a PR to the Oh My Posh project!\n\nIn order to review and merge PRs most efficiently, we require that all PRs grant maintainer edit access before we review them. For information on how to do this, [see the documentation](https://docs.github.com/en/github/collaborating-with-pull-requests/working-with-forks/allowing-changes-to-a-pull-request-branch-created-from-a-fork)."
|
|
});
|
|
}
|
|
} catch(e) {
|
|
console.log(e);
|
|
}
|