> How do we know it is true?

The branch is open.

You can check it out and run the tests if you don’t believe it.