fix for issue 20252: git ignores “no proxy” settings