mirror of
https://github.com/mauriceboe/TREK.git
synced 2026-11-12 23:31:02 +00:00
Maurice
61378559ca
- sharp 0.35.5 (librsvg CVE), with the musl pins that ship in the image. - follow-redirects 1.16.2, postcss-selector-parser 6.1.5 and serialize-javascript 7.1.3, from the open advisories. - GitHub Actions: github-script 9 and the minor-and-patch group. - plugin-sdk: @types/update-notifier 6.0.9. The grouped npm update is left out: with it the server build runs out of memory in tsc, and the culprit is not found yet.
96 lines
3.3 KiB
YAML
96 lines
3.3 KiB
YAML
name: Close PRs with unchanged wrong base branch
|
|
|
|
on:
|
|
schedule:
|
|
- cron: '0 */6 * * *' # Every 6 hours
|
|
|
|
permissions:
|
|
pull-requests: write
|
|
issues: write
|
|
|
|
jobs:
|
|
close-stale:
|
|
if: github.repository == 'liketrek/TREK'
|
|
runs-on: ubuntu-24.04
|
|
timeout-minutes: 45
|
|
steps:
|
|
- name: Close stale wrong-base-branch PRs
|
|
uses: actions/github-script@v9
|
|
with:
|
|
script: |
|
|
const { data: pulls } = await github.rest.pulls.list({
|
|
owner: context.repo.owner,
|
|
repo: context.repo.repo,
|
|
state: 'open',
|
|
per_page: 100,
|
|
});
|
|
|
|
const twentyFourHoursAgo = new Date(Date.now() - 24 * 60 * 60 * 1000);
|
|
|
|
for (const pull of pulls) {
|
|
const hasBypass = pull.labels.some(l => l.name === 'bypass-branch-check');
|
|
if (hasBypass) continue;
|
|
|
|
const hasLabel = pull.labels.some(l => l.name === 'wrong-base-branch');
|
|
if (!hasLabel) continue;
|
|
|
|
// Wiki-only PRs are exempt — clear label and skip
|
|
const files = [];
|
|
for (let page = 1; ; page++) {
|
|
const { data } = await github.rest.pulls.listFiles({
|
|
owner: context.repo.owner,
|
|
repo: context.repo.repo,
|
|
pull_number: pull.number,
|
|
per_page: 100,
|
|
page,
|
|
});
|
|
files.push(...data);
|
|
if (data.length < 100) break;
|
|
}
|
|
const allWiki = files.length > 0 && files.every(f => f.filename.startsWith('wiki/'));
|
|
if (allWiki) {
|
|
await github.rest.issues.removeLabel({
|
|
owner: context.repo.owner,
|
|
repo: context.repo.repo,
|
|
issue_number: pull.number,
|
|
name: 'wrong-base-branch',
|
|
});
|
|
continue;
|
|
}
|
|
|
|
const createdAt = new Date(pull.created_at);
|
|
if (createdAt > twentyFourHoursAgo) continue; // grace period not over yet
|
|
|
|
// Base was fixed — remove label and move on
|
|
if (pull.base.ref !== 'main') {
|
|
await github.rest.issues.removeLabel({
|
|
owner: context.repo.owner,
|
|
repo: context.repo.repo,
|
|
issue_number: pull.number,
|
|
name: 'wrong-base-branch',
|
|
});
|
|
continue;
|
|
}
|
|
|
|
// Still targeting main after 24h — close it
|
|
await github.rest.issues.createComment({
|
|
owner: context.repo.owner,
|
|
repo: context.repo.repo,
|
|
issue_number: pull.number,
|
|
body: [
|
|
'## PR closed',
|
|
'',
|
|
'This PR has been automatically closed because the base branch was not updated to `dev` within 24 hours.',
|
|
'',
|
|
'Feel free to open a new PR targeting `dev`.',
|
|
].join('\n'),
|
|
});
|
|
|
|
await github.rest.pulls.update({
|
|
owner: context.repo.owner,
|
|
repo: context.repo.repo,
|
|
pull_number: pull.number,
|
|
state: 'closed',
|
|
});
|
|
}
|