repopick: fix broken pipe error from "repo list"

  * the subprocess running "repo list" was not closed cleanly
    if the branch was found

Change-Id: Ie659966f3a670b25ab076a8dc723c4235760d04e
build: allow dopush to work properly with network adb

Change-Id: I9efe60814d66dc8eb17544e6c2b94473dc903133
merge changes from CyanogenMod 10.2 into local branch