Skip to main content


Hey #nix and #nixos people!

I wrote a matrix bot for nixpkgs pull request notifications.

It‘s like the cool https//nixpk.gs/tracker.html by @qyliss, which shows you which release channels a pull request has reached.

With the bot you can subscribe and get notifications, whenever it reaches a channel instead of hammering F5 in your browser tab.

Just open a query to https://matrix.to/#/@nixpkgs-bot:maralorn.de and send "help".

Looking forward to you all stress testing it!

reshared this

@solene Yeah, the main issues with that are, that a) maybe your not interested in the discussion and b) you will not know when it reaches nixos-unstable.
i had the idea to have a github bot that comments when a PR hit's nixos unstable and nixos stable
That is so cool!

I am testing it right now! Also thanks for sharing the code!

maralorn reshared this.

@musicmatze Well, the code ist mostly in the proof-of-concept phase. Would be nice to separate code into different files, e.g. Currently it‘s a bit clobbered.
and it is written in #haskell ✨ 🚀

How awesome!
Oooh! A Matrix bot in Haskell! Where's the code?
@davidak I also sent a patch to @qyliss for a REST API for Nixpkgs tracker but didn't have time to redo it for acceptance.
But I wanted to build a lot of similar stuff like this, including building open data on ETA of drv X in channel Y.
@raito@davidak
I am definitely open for ideas. Feel free to reuse my code, I am also open to migrate the code to github if there is desire for extending it.
@davidak After some consideration: I think that would increase notification traffic for regular contributors far too much
can you make the bot join the NixOS space? I use spaces a lot as an organizational tool, and that would help finding it easily
@raito

I was recently thinking about whether having RSS support might work better than a REST API. People could still use it programatically, but also it would be immediately useable with all the tools that already understand RSS — feed readers, email/ActivityPub gateways, etc.

@davidak@maralorn
@raito@davidak I already have written other Haskell services which provide RSS feeds, so it wouldn‘t be to hard. I just wonder what kinds of feeds would the service offer?
@raito@davidak Ah, yeah. That makes sense. Although I am uncertain if a lot of people have an RSS flow where they don‘t find that to cumbersome.
would it be possible to have the bot subscribe to all prs by made by a GitHub user?
@pbsds It would be annoying to do it on opening a pull request, but yes it is totally possible to do it in the moment of merging it.
not responding to me :(
@pinpox Sorry about that, sometimes my matrix server throws an error while trying to join a room. In this case (could not finde any remote servers which know this room.)

I made the bot manually join your query, you can use it now.
If you have been issues with the bot not joining your direct message, you might want to try again. A workaround for race conditions in the matrix server has been implemented.
neat! They looks really good. What could be really useful would be a feature to automatically subscribe to all prs by a user (your own fire example) and by label, so security-discuss could subscribe to all prs labeled with security.
@philipp The by user subscriptions have been implemented now.