From 310a66559578da3f3fdeb585f4b3e889e62fca5f Mon Sep 17 00:00:00 2001
From: flashwave <me@flash.moe>
Date: Sat, 3 Aug 2024 22:20:02 +0000
Subject: [PATCH] Added script for creating release tags.

---
 VERSION            |  2 +-
 tools/create-tag   | 30 ++++++++++++++++++++++++++++++
 tools/precommit.sh |  2 +-
 3 files changed, 32 insertions(+), 2 deletions(-)
 create mode 100755 tools/create-tag

diff --git a/VERSION b/VERSION
index 8eb34f2..2f6a83c 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-0.2408.32209
+0.2408.32219
diff --git a/tools/create-tag b/tools/create-tag
new file mode 100755
index 0000000..b732c9c
--- /dev/null
+++ b/tools/create-tag
@@ -0,0 +1,30 @@
+#!/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;
diff --git a/tools/precommit.sh b/tools/precommit.sh
index 13827aa..ceeb9a1 100755
--- a/tools/precommit.sh
+++ b/tools/precommit.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 pushd .
 cd $(dirname "$0")