Reopen the tree after the revert (crrev.com/c/7787658) to crrev.com/c/7787033 is merged.