☰

Nixpkgs PR Branch Tracker

Adds a floating widget to Nixpkgs PR pages to track which branches the PR has been merged into.