I also concluded based on the video:

4. GitButler is a terrible name for this

5. No one will use the "but" command over "git"

6. The founder needs to learn to enunciate the name of his new product better

And also, your central premise is exactly right. The solution to agents and humans working faster will not be better manual oversight of what they're doing. It's like missing the most important principle of agentic development. Supervise, don't gatekeep.