Have hydra mark available PRs

[NeQuissimus]

Is there a way we could have Hydra mark PRs with a label or something similar once the change has been released to the targeted channel.

Say I have a PR in master, Hydra would over time add labels for available: nixpkgs-unstable, available: nixos-unstable-small and available: nixos-unstable. Similarly, changes to 16.09 would eventually tagged with labels for the two channels for it.

[vcunat]

That's just about git branch --contains PR-commit run on nixpkgs-channels repo. Maybe it's possible to make github show such info, perhaps some bot can do it.

[NeQuissimus]

But then we would have to go across repos, would we not? Grab master on nixpkgs-channels and see if a PR from nixpkgs is in there?!
I figured it would be easier to have Hydra do that since it already touches both repos.

[vcunat]

Pushing to git and commenting on issues (or labeling them) are rather different things, but yes, it shouldn't be difficult to implement as part of the channel-update mechanism run on Hydra.

[domenkozar]

I think it's better to zoom out here and think about what information exactly you need and then we can discuss the implementation.

[NeQuissimus]

I was thinking about this in the context of updates that fix vulnerabilities. Once we commit the fix, it still takes a little while until users can pull the update off the channels. How do users know when the update is available?

[domenkozar]

I'd then propose to close this and continue in #13515

[NeQuissimus]

OK, sure. I had simply hoped for a more general solution.

[vcunat]

Hmm, there's a relatively easy way to find out, e.g. click link NixOS/nixpkgs-channels@c2922a9 and you see a list of channels containing the commit in there. It's not perfect, e.g. this one doesn't show nixos-unstable-small, presumably because it points to exactly the same commit as nixos-unstable ATM. (EDIT: and you get page not found for commits not in any channel yet.)