2022-11-12T07:41:01 gprbuild-boot 22.0.0 -> 23.0.0 https://github.com/AdaCore/gprbuild/releases
2022-11-12T07:41:03 attrpath: gprbuild-boot
2022-11-12T07:41:03 Checking auto update branch...
2022-11-12T07:41:03 No auto update branch exists
2022-11-12T07:41:04 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"