Hey everyone,
So as Mohamed pointed out, it looks like git.dyninst.org isn't staying
up to date with the github repository. Also when I try to clone
git.dyninst.org/pub/dyninst.git this is what I get:
[detter@macaroni-05] (17)$ git clone http://git.dyninst.org/pub/dyninst.git
Cloning into 'dyninst'...
fatal:
http://git.dyninst.org/pub/dyninst.git/info/refs?service=git-upload-pack
not found: did you run git update-server-info on the server?
-- John
_______________________________________________
Dyninst-api mailing list
[email protected]
https://lists.cs.wisc.edu/mailman/listinfo/dyninst-api
