Should we handle a case git repos which were cloned with proxy and then metanorma executed without proxy? Maybe should we leave it up to the user at all to configure with --global git params https://gist.github.com/evantoli/f8c23a37eb3558ab8765
End-user will be responsible to modify ~/.gitconfig to setup proxy
Open questions
--global
git params https://gist.github.com/evantoli/f8c23a37eb3558ab8765Related PRs:
Related other gems issues/PRs: