api_internal/from_git.sh

#!/bin/bash

# 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
echo "Attempt done. Exiting."