#!/bin/bash # Run this on the server. # Not suitable for collaborative environments: echo "Pulling from git." git pull https://wtt.ditscentre.in/ditscentre/logs_ui.git echo "Attempt done. Exiting."