note that "checkout" is the only official way to fetch nbsrc