Creating a new repository tracking another

track_remote_repo.sh

#!/bin/bash
#credit https://stackoverflow.com/questions/24815952/git-pull-from-another-repository

#initialize repository
mkdir dendro-install-uporto
cd dendro-install-uporto
git init
git remote add origin https://github.com/feup-infolab/dendro-install-uporto.git
echo "# dendro-install-uporto" >> README.md
git add .
git commit -m "Initial commit"
git push -u origin master

# track upstream remote repository
git remote add upstream https://github.com/feup-infolab/dendro-install.git

#block pushing to the tracked repository
git config remote.upstream.pushurl "NEVER GONNA GIVE YOU UP"

git checkout master