Learn more about these different git repos.
Other Git URLs
c8d6619
[frontend] use rbc.result_dir instead, it has the exactly same value