2022-11-09T18:30:00 gprbuild-boot 22.0.0 -> 23.0.0 https://github.com/AdaCore/gprbuild/releases
2022-11-09T18:30:02 attrpath: gprbuild-boot
2022-11-09T18:30:02 Checking auto update branch...
2022-11-09T18:30:02 No auto update branch exists
2022-11-09T18:30:03 There might already be an open PR for this update:
- xmlada: 22.0.0 -> 23.0.0
  URL "https://api.github.com/repos/NixOS/nixpkgs/issues/197008"