Coredev documentation regarding pushes

Based on what I see in the buildout.coredev docs it suggests that after altering checkouts.cfg you should push to the branch from which you checked out.
However if I follow that guide my .git/config only has an https:// url (not so convenient for pushes).
Is it standard to add a pushurl?

This is what my altered .git/config file looks like:

        repositoryformatversion = 0
        filemode = true
        bare = false
        logallrefupdates = true
[remote "origin"]
        url =
        fetch = +refs/heads/*:refs/remotes/origin/*
        pushurl =
[branch "5.0"]
        remote = origin
        merge = refs/heads/5.0

Okay... I've compared other commits on builldout.coredev and it looks like I'm moving in the right direction. I've now committed and pushed to buildout.coredev based on my changes to the checkouts.cfg