gitpaman: Helper to push to the manifests branch
gitpaman: Helper to push to the manifests branch

Change-Id: I18826c4227364ccecee483ceaf2aa83d9f830175
Signed-off-by: Adrian DC <01fb3892f39957945220431e7409156544d2f041@gmail.com>

AdrianDC/android_development_shell_tools,AdrianDC/android_development_shell_tools