You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
Commit 148a05c
Browse filesBrowse the repository at this point in the historyBrowse files
Copy file name to clipboardExpand all lines: ci/README.md
+4-4Lines changed: 4 additions & 4 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -13,18 +13,18 @@ Run [`update-pinned.sh`](./update-pinned.sh) to update it.
13
13
## GitHub specific code
14
14
15
15
Some of the code is specific to GitHub.
16
-
This code is currently spread out over multiple places and written in both Bash and JavaScript.
17
-
The goal is to eventually have all GitHub specific code in `ci/github-script` and written in JavaScript via `actions/github-script`.
16
+
This code is currently spread out over multiple places and written in both Bash and TypeScript.
17
+
The goal is to eventually have all GitHub specific code in `ci/github-script` and written in TypeScript via `actions/github-script`.
18
18
A lot of code has already been migrated, but some Bash code still remains.
19
-
New CI features need to be introduced in JavaScript, not Bash.
19
+
New CI features need to be introduced in TypeScript, not Bash.
20
20
21
21
## Nixpkgs merge bot
22
22
23
23
The Nixpkgs merge bot empowers package maintainers by enabling them to merge PRs related to their own packages.
24
24
It serves as a bridge for maintainers to quickly respond to user feedback, facilitating a more self-reliant approach.
25
25
Especially when considering there are roughly 20 maintainers for every committer, this bot is a game-changer.
26
26
27
-
Following [RFC 172], the merge bot was originally implemented as a [python webapp](https://github.com/NixOS/nixpkgs-merge-bot), which has now been integrated into [`ci/github-script/bot.js`](./github-script/bot.js) and [`ci/github-script/merge.js`](./github-script/merge.js).
27
+
Following [RFC 172], the merge bot was originally implemented as a [python webapp](https://github.com/NixOS/nixpkgs-merge-bot), which has now been integrated into [`ci/github-script/bot.ts`](./github-script/bot.ts) and [`ci/github-script/merge.ts`](./github-script/merge.ts).
0 commit comments