function push($imageName, $registry = 'my-registry.com:5000/') { $registry = preg_match("~{$registry}~i", $imageName) ? $imageName : $registry . $imageName; return myExec(sprintf('docker push %s', $registry)); }
function gitPull() { echo myExec("git pull"); echo myExec("git status"); }