mirror of
https://github.com/JanDeDobbeleer/oh-my-posh.git
synced 2024-11-17 00:14:04 -08:00
fcc1daeb36
Bumps [actions/checkout](https://github.com/actions/checkout) from 3.5.3 to 3.6.0.
- [Release notes](https://github.com/actions/checkout/releases)
- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)
- [Commits](c85c95e3d7...f43a0e5ff2)
---
updated-dependencies:
- dependency-name: actions/checkout
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com>
33 lines
933 B
YAML
33 lines
933 B
YAML
name: Merge contributions PR
|
|
on:
|
|
pull_request_target:
|
|
types:
|
|
- opened
|
|
- reopened
|
|
|
|
jobs:
|
|
check:
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- name: Checkout code 👋
|
|
uses: actions/checkout@f43a0e5ff2bd294095638e18286ca9a3d1956744
|
|
- name: Check and merge ⛙
|
|
uses: actions/github-script@d7906e4ad0b1822421a7e6a35d5ca353c962f410
|
|
with:
|
|
github-token: ${{ secrets.GH_PAT }}
|
|
script: |
|
|
const { repo: { owner, repo } } = context;
|
|
const pr = context.payload.pull_request;
|
|
|
|
if (pr.user.id !== 46447321) {
|
|
console.log('Not an all-contributors pull request');
|
|
return;
|
|
}
|
|
|
|
console.log(`Merging pull request: ${pr.html_url}`);
|
|
await github.rest.pulls.merge({
|
|
owner, repo,
|
|
pull_number: pr.number,
|
|
merge_method: "rebase",
|
|
});
|