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 <[email protected]> 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 > [email protected] > https://lists.cs.wisc.edu/mailman/listinfo/dyninst-api >
_______________________________________________ Dyninst-api mailing list [email protected] https://lists.cs.wisc.edu/mailman/listinfo/dyninst-api
