{"push_id":1189821490,"size":1,"distinct_size":1,"ref":"refs/heads/nixos-grub","head":"8ea96716581cb84ecceda8c7ff045eb550e77bc7","before":"221583eff3ff88a7ba84f13318cca55ff5124c04","commits":[{"sha":"8ea96716581cb84ecceda8c7ff045eb550e77bc7","author":{"name":"Bjørn Forsman","email":"5971dbfad0051b167cd16b22ee5e985a1337ff34@gmail.com"},"message":"nixos/grub: change state file list separator from ':' to ','\n\n':' is currently used as separator in /boot/grub/state for the list of\ndevices GRUB should be installed to. The problem is that ':' itself may\nappear in a device path:\n\n  /dev/disk/by-id/usb-SanDisk_Cruzer_20043512300546C0B317-0:0\n\nWith such a path, NixOS will install GRUB *every* time, because it\nthinks the configuration differs from the state file. This fixes it by\nusing ',' instead.\n\nFor existing systems, this change only means that GRUB will be installed\none extra time.","distinct":true,"url":"https://api.github.com/repos/bjornfor/nixpkgs/commits/8ea96716581cb84ecceda8c7ff045eb550e77bc7"}]}
{"actor":{"display_login":"bjornfor"}}