github mirror

[Michael Berman]

Does anyone know what the process is for getting the github mirror pointed
to the real git repo? Right now it's pointing at a year-old revision off
SVN.  I'd like to fork a branch for my SSL work so I can submit pull
requests back, but it doesn't seem like there's a point if it's so far
diverged from master.