@theopolis when I type brew update I get that everything is up to date but I see a lot of PRs merged to homebrew-core