Remove cruft regarding flip repos.

We never used this function.