On Sun, Jul 14, 2013 at 6:38 AM, Praveen A <pravi.a@gmail.com> wrote: > Do I just remove the old git repo? Yes, or just move it. -- Per