Push takes place between your local and remote repo. When you click on either, you'll see remote/local repo commands, including push.

Click on the "Local Repository" column

Ahhhh. I had no idea this thing was interactive. That's not intuitive at all. The only that that indicates that is the "Interaction" in the title and I skipped over that part and just start reading the commands.