(20241112) Ordered JSON.

2024-11-12 12:02:00 +05:30
parent c493642eb7
commit 964656702a
2 changed files with 2 additions and 2 deletions
@@ -3,5 +3,5 @@
 # Run this on the server.
 # Not suitable for collaborative environments:
 echo "Pulling from git."
-git pull https://wtt.ditscentre.in/ditscentre/api_agg_document.git
+git pull https://wtt.ditscentre.in/ditscentre/api_internal.git
 echo "Attempt done. Exiting."
@@ -17,5 +17,5 @@ git commit -m "$COMMENT"
 echo "Commit done."

 # Push th commit to git:
-git push -u https://wtt.ditscentre.in/ditscentre/api_agg_document.git master
+git push -u https://wtt.ditscentre.in/ditscentre/api_internal.git master
 echo "Attempt done. Exiting."