Make clone shallow

Monday, October 07, 2019

Periodically shrink the size of Leo's on disk repo for the local machine.
Note: this removes local branches.

pushd %home%\code
git remote get-url origin
    # returns https://github.com/leo-editor/leo-editor.git
git clone --depth=300 file:///%cd%/leo-editor xxx
Move leo-editor leo-editor-back
Move xxx leo-editor
Pushd leo-editor
git remote set-url origin https://github.com/leo-editor/leo-editor.git