[DynInst_API:] [dyninst] git.dyninst.org out of date

[John Detter <jdetter@xxxxxxxx>]

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