Scripts to convert eric repo to a Git one, keeping size small - View it on GitHub