git4idea: push after commit now works