(20241010) With some shell scripts.

2024-10-10 12:06:13 +05:30
parent e858118467
commit 4445bceac0
11 changed files with 127 additions and 5 deletions
@@ -0,0 +1,7 @@
+#!/bin/bash
+
+# Run this on the server.
+# Not suitable for collaborative environments:
+echo "Pulling from git."
+git pull https://wtt.ditscentre.in/ditscentre/api_internal.git
+echo "Attempt done. Exiting."