Hi all, The jmc7 repo is now available here https://github.com/openjdk/jmc7. Many thanks to Erik Helin for doing this! Next step is deciding whether or not to fold it into the jmc repo. So far most people seem in favour of one repo with release branches. Please let me know what you think! Kind regards, Marcus