Minor update

git_push.sh

@@ -47,6 +47,6 @@ fi
 git pull origin master
 
 # Pushes (Forces) the changes in the local repository up to the remote repository
-echo "Git pushing to https://github.com/${git_user_id}/${git_repo_id}.git"
+echo "Git pushing to https://${git_repo_id}.git"
 git push origin master 2>&1 | grep -v 'To https'