From f8dd3f918fbed08e1d59d3f2fbfbe4cc03e5c3b0 Mon Sep 17 00:00:00 2001
From: jan6 <jan6@tilde.cafe>
Date: Sun, 10 Oct 2021 22:26:33 +0300
Subject: [PATCH] trigger script is pointless now

---
 .gitmodules             |  2 --
 dist/trigger_update.php |  1 -
 src/wiki                |  2 +-
 trigger_update.php      | 10 ----------
 4 files changed, 1 insertion(+), 14 deletions(-)
 delete mode 120000 dist/trigger_update.php
 delete mode 100755 trigger_update.php

diff --git a/.gitmodules b/.gitmodules
index dd73b1b..a9e9225 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -2,5 +2,3 @@
 	path = src/wiki
 	url = https://tildegit.org/cafe/wiki
 	branch = HEAD
-[submodule "wiki"]
-	branch = main
diff --git a/dist/trigger_update.php b/dist/trigger_update.php
deleted file mode 120000
index 60900ed..0000000
--- a/dist/trigger_update.php
+++ /dev/null
@@ -1 +0,0 @@
-../trigger_update.php
\ No newline at end of file
diff --git a/src/wiki b/src/wiki
index e2475cb..b1e319c 160000
--- a/src/wiki
+++ b/src/wiki
@@ -1 +1 @@
-Subproject commit e2475cb732ed543c3631c9c3133f45d83ea513c6
+Subproject commit b1e319c11111e304bc2ff790dc299ac5fe85114e
diff --git a/trigger_update.php b/trigger_update.php
deleted file mode 100755
index 3f87c29..0000000
--- a/trigger_update.php
+++ /dev/null
@@ -1,10 +0,0 @@
-<?php
-exec("date >>/tmp/a.txt");
-$secret=trim(file_get_contents('../trigger_secret.txt', FILE_USE_INCLUDE_PATH));
-if($_SERVER['QUERY_STRING']=="site=".$secret or $_SERVER['QUERY_STRING']=="wiki=".$secret){
-	print("True\n");
-	exec("cd ..&&./build.sh");
-}else{
-	print("False\n");
-}
-?>