This repository was archived by the owner on Aug 15, 2020. It is now read-only.
This repository was archived by the owner on Aug 15, 2020. It is now read-only.
Scrub large files from git history #48
Description
There's some large files in the git history of this repo, which causes clone and some pushes to take a long time. We don't need/use those files, so let's scrub the git history of them and get all devs to make new clones.