Cristian Cadar
2014-02-17 16:05:46 UTC
Hi all,
We have a new location for the KLEE codebase: I have just moved it from
my personal GitHub account to
*** https://github.com/klee/klee.git ***
All other related projects now reside under https://github.com/klee/,
e.g., klee-uclibc and klee-buildbot.
In principle, you don't need to update anything on your side. However,
GitHub advises to change existing local clones to point to the new
repository URL, see
https://help.github.com/articles/how-to-transfer-a-repository#redirects-and-git-remotes
Best wishes,
Cristian
We have a new location for the KLEE codebase: I have just moved it from
my personal GitHub account to
*** https://github.com/klee/klee.git ***
All other related projects now reside under https://github.com/klee/,
e.g., klee-uclibc and klee-buildbot.
In principle, you don't need to update anything on your side. However,
GitHub advises to change existing local clones to point to the new
repository URL, see
https://help.github.com/articles/how-to-transfer-a-repository#redirects-and-git-remotes
Best wishes,
Cristian