[DynInst_API:] Announcing Dyninst and MRNet's presence on GitHub

[Bill Williams <bill@xxxxxxxxxxx>]

We're pleased to announce that the DyninstAPI and MRNet repositories are 
now available on GitHub: http://github.com/dyninst.
Currently active developers should have push access to these 
repositories. We now prefer that outside contributions come in the form 
of pull requests, rather than patches. If you do not believe your access 
level to these repositories is correct, please contact us.
git.dyninst.org will remain an up-to-date, read-only mirror of the 
github repositories; commits should go to github from now on.
Please feel free to use the github issue tracker liberally.

We hope that this improves the project for everyone concerned. Let us 
know if you have any questions or concerns.
--bw