[skybrian]

I found it convenient for syncing private git repos between machines. But now that gihub allows private repos for free, maybe that's not so useful anymore?