summaryrefslogtreecommitdiff
path: root/ci/github-script
AgeCommit message (Expand)Author
2025-11-04ci/github-script/bot: improve parallelismWolfgang Walther
2025-11-04ci/github-script/merge: improve testabilityWolfgang Walther
2025-11-04ci/github-script/merge: switch order of merge operationsWolfgang Walther
2025-11-03ci/github-script/bot: fix infinite labeling cycleWolfgang Walther
2025-11-03ci/github-script/merge: fix with deleted users (#458074)Wolfgang Walther
2025-11-03ci/github-script/merge: fix with deleted usersWolfgang Walther
2025-11-03ci/github-script/merge: unify terms for authoring and creating PRsWolfgang Walther
2025-11-03ci/github-script/merge: improve feedback for by-name checkWolfgang Walther
2025-11-02workflows/bot: allow maintainer merges after committer approvalWolfgang Walther
2025-11-02ci/github-script/merge: restructure head SHA checkWolfgang Walther
2025-11-02workflows/bot: allow maintainers to merge backportsWolfgang Walther
2025-11-02ci/github-script/merge: support OR conditionsWolfgang Walther
2025-11-02ci/github-script/merge: add TODO about second merge methodWolfgang Walther
2025-11-02ci/github-script/merge: improve wordingWolfgang Walther
2025-11-02ci/github-script/merge: improve maintainer checkWolfgang Walther
2025-11-02ci/github-script/merge: move all conditions into runChecklistWolfgang Walther
2025-11-02ci/github-script/merge: move API requests out of runChecklistWolfgang Walther
2025-11-02ci/github-script/merge: improve caching of team membersWolfgang Walther
2025-11-01workflows/bot: fix permission in test workflow (#457575)Wolfgang Walther
2025-11-01workflows/bot: avoid access teams endpoints in Test workflowWolfgang Walther
2025-11-01workflows/bot: set "merge-bot eligible" labelWolfgang Walther
2025-11-01workflows/bot: retry failed mergesWolfgang Walther
2025-11-01workflows/bot: migrate nixpkgs-merge-bot to GHAWolfgang Walther
2025-11-01workflows/bot: rename from labelsWolfgang Walther
2025-11-01workflows/pr: rename to pull-request-targetWolfgang Walther
2025-11-01ci/github-script/labels: fix unmaintained packagesWolfgang Walther
2025-11-01ci/github-script/labels: set maintainer labels from latest maintainer mapWolfgang Walther
2025-10-28ci/github-script/teams: use consistent styleWolfgang Walther
2025-10-27workflows/team-sync: initSilvan Mosberger
2025-10-19ci/github-script/labels: prevent closing purposely-empty PRsWolfgang Walther
2025-10-18ci/github-script/labels: close empty PRsWolfgang Walther
2025-10-11workflows/labels: use Node 24Wolfgang Walther
2025-10-11ci/github-script/labels: solve TODOsWolfgang Walther
2025-09-28workflows/check: don't check github api for owners fileWolfgang Walther
2025-09-15ci/github-script/labels: don't add stale if issue was mentionedRyan Omasta
2025-09-08ci/github-script/labels: keep "needs reviewer" if only automated reviewsRyan Omasta
2025-08-29ci/github-script/labels: auto close package request issuesWolfgang Walther
2025-08-26ci/github-script: fix run scriptWolfgang Walther
2025-08-25ci,workflows: deal with ghost reviewsWolfgang Walther
2025-08-25ci/github-script/prepare: identify real base branch (#435596)Wolfgang Walther
2025-08-24workflows/check: allow owners to fail when ci/OWNERS is untouchedWolfgang Walther
2025-08-24ci/github-script/prepare: identify real base branchWolfgang Walther
2025-08-24ci/github-script/prepare: avoid running CI when targeting channel branchesWolfgang Walther
2025-08-24ci/github-script/commits: split review function into separate fileWolfgang Walther
2025-08-24workflows/check: always run commits jobWolfgang Walther
2025-08-24workflows/test: initWolfgang Walther
2025-08-22ci/github-script/commits: fix logging no-cherry-pick messageWolfgang Walther
2025-08-22ci/github-script/commits: fix not-cherry-picked-because regexWolfgang Walther
2025-08-20ci/github-script/prepare: fix logging of branch classificationWolfgang Walther
2025-08-20ci/github-script/prepare: determine changed filesWolfgang Walther