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

[Ray Chen <rchen@xxxxxxxxxx>]

I'll get this corrected (with an automated soultion) today or tomorrow.

Sorry for the inconvenience,

- Ray

On Tue, May 31, 2016 at 1:34 PM, John Detter <jdetter@xxxxxxxx> wrote:

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
Dyninst-api@xxxxxxxxxxx
https://lists.cs.wisc.edu/mailman/listinfo/dyninst-api