#!/usr/bin/env php <?php $path = (function($path) { if(!str_starts_with($path, '/')) die('Cannot be bothered to support non-UNIX style paths, sorry!' . PHP_EOL); while($path !== '/') { $vPath = $path . DIRECTORY_SEPARATOR . 'VERSION'; if(is_file($vPath)) return $vPath; $path = dirname($path); } })(__DIR__); $version = file_get_contents($path); if($version === false) die('Failed to read VERSION file.' . PHP_EOL); $version = trim($version); $workingDir = getcwd(); try { chdir(dirname($path)); echo shell_exec(sprintf('git tag v%s', $version)); echo shell_exec(sprintf('git push origin v%s', $version)); } finally { chdir($workingDir); } echo $version . PHP_EOL;