try to convince git pull to actually pull this repo