summaryrefslogtreecommitdiff
path: root/ci
AgeCommit message (Expand)Author
2025-11-05ci/pinned: updateWolfgang Walther
2025-11-05ci/treefmt: disable biome for nowMatt Sturgeon
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-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-02treewide: drop figsoda as maintainer (part 4)Michael Daniels
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 backports (#451324)Wolfgang Walther
2025-11-02ci/eval/compare: fix without ownersWolfgang Walther
2025-11-02workflows/bot: allow maintainers to merge backportsWolfgang Walther
2025-11-02ci/request-reviews: fix request-reviewers.shWolfgang Walther
2025-11-02ci/github-script/merge: various improvements (#457652)Wolfgang Walther
2025-11-02ci/request-reviews: untangle owner-related bash code (#457503)Wolfgang 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-01ci/README: document nixpkgs-merge-botMatt Sturgeon
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-01ci/request-reviews: move get-code-owners to eval/compareWolfgang Walther
2025-11-01ci/request-reviews: move gh api calls out of get-code-ownersWolfgang Walther
2025-11-01ci/request-reviews: move git calls out of get-code-ownersWolfgang Walther
2025-11-01workflows/reviewers: request owners and maintainers at onceWolfgang Walther
2025-11-01ci/OWNERS: Add adisbladis as owner for stdenv/check-meta & stdenv/meta-types ...Wolfgang Walther
2025-11-01workflows/pr: rename to pull-request-targetWolfgang Walther
2025-11-02ci/OWNERS: Add adisbladis as owner for stdenv/check-meta & stdenv/meta-typesadisbladis
2025-11-01ci/github-script/labels: fix unmaintained packagesWolfgang Walther
2025-11-01ci/github-script/labels: set maintainer labels from latest maintainer map (#4...Wolfgang Walther
2025-11-01ci/github-script/labels: set maintainer labels from latest maintainer mapWolfgang Walther
2025-11-01ci/eval: add extraNixpkgsConfig argumentGaetan Lepage