#!/bin/bash
# simple git pull command and script setup script for development
# clone the repository under the name 'git-user-mgmt' and run this script in the parent folder.

cd git-user-mgmt
git pull
cd ..
cp git-user-mgmt/management/user-mgmt.sh .