heyyy does anyone know if this is the correct way to open a PR to guix? kinda missing easy github mode here... lol