Betelgeuse pull request