Hello,
Ron Garcia, one of the Boost Review Wizards, has directed me to ask the
mailing list about the exact procedure for transferring the boost-qvm
github repo to Boost. I believe I need to have some kind of permissions to
be able to use the built-in github repo transferring mechanism.
Thanks,
Emil