git remote remove jankratochvil || :
#git remote add jankratochvil git://git.jankratochvil.net/lldb
git remote add jankratochvil https://github.com/jankratochvil/llvm-project.git
git remote remove jankratochvil || :
#git remote add jankratochvil git://git.jankratochvil.net/lldb
git remote add jankratochvil https://github.com/jankratochvil/llvm-project.git