jbosstools/jbosstools-openshift — pull request #185 by adietish (2013-07-03 12:38:19+00:00)
Title: [JBIDE-15059] corrected creation of push operation

Removed the prior workaround that was fetching after the push. Replaced
it by a proper way of creating the push operation which makes sure that
the remote tracking branches get updated once the push is executed.