Since we can’t avoid this step due to git’s security, I guess the only thing we can do to make it simpler is to make it into a script, like
#/bin/sh # XXX: first check we are inside a repo, then enable git config --local include.path '../.gitconfig'
So the sequence would be:
git clone firstname.lastname@example.org:fastai/fastai_v1.git cd fastai_v1 tools/trust-origin-git-config
or perhaps it can be called 'tools/run-upon-clone`, but it’s less explicit about its function. Other ideas are welcome.
p.s. @jeremy, what do you think? should we add this? I suppose implementing it in python would be better so that it works on windows.