Exactly right. Select the domain that you want to push, then follow the above instructions from the dropdown menu below