Learn more about these different git repos.
Other Git URLs
bd19cb9
[backend] release_vm immediately after VM is no longer needed + small code cleanup