summaryrefslogtreecommitdiff
path: root/ci/github-script/bot.js
AgeCommit message (Expand)Author
2025-12-15ci/github-script/bot: skip mergeability checks temporarilyEmily
2025-11-22ci/github-script/bot: don't attempt to fetch pagination cursor if it's expiredMichael Daniels
2025-11-22ci/github-script/bot: log author of pull requestMichael Daniels
2025-11-22ci/github-script/bot: skip expired artifactsMichael Daniels
2025-11-18Revert "ci/github-script/labels: close empty PRs"Wolfgang Walther
2025-11-17ci/github-script/bot: skip PR checks when staleWolfgang Walther
2025-11-09ci: fix "needs: reviewer" label being removed after self reviewDiogo Correia
2025-11-06ci/github-script/bot: fix concurrency limitWolfgang Walther
2025-11-06ci/github-script/bot: limit concurrency in PR runsWolfgang Walther
2025-11-06ci/github-script/bot: fix scheduled bot with older artifactsWolfgang Walther
2025-11-05ci/github-script/reviewers: improve "needs: reviewers" labelWolfgang Walther
2025-11-05ci/github-script/bot: request reviewersWolfgang Walther
2025-11-05ci/github-script/bot: disregard bot and ghost approvalsWolfgang Walther
2025-11-04Revert "wprkflows/bot: increase frequency to every 5 minutes" (#458570)Matt Sturgeon
2025-11-04ci/github-script/merge: improve merge operation and error messages (#458412)Wolfgang Walther
2025-11-04ci/github-script/merge: list eligible users in commentWolfgang Walther
2025-11-04Revert "wprkflows/bot: increase frequency to every 5 minutes"Wolfgang Walther
2025-11-04ci/github-script/bot: move getTeamMembers cache into main fileWolfgang Walther
2025-11-04wprkflows/bot: increase frequency to every 5 minutesWolfgang Walther
2025-11-04ci/github-script/bot: improve parallelismWolfgang Walther
2025-11-03ci/github-script/bot: fix infinite labeling cycleWolfgang Walther
2025-11-01workflows/bot: set "merge-bot eligible" labelWolfgang Walther
2025-11-01workflows/bot: migrate nixpkgs-merge-bot to GHAWolfgang Walther
2025-11-01workflows/bot: rename from labelsWolfgang Walther