shaib, 7 months ago @carlton @laymonage Well if we're discussing this seriously, we should also mention that it should be git clone $URL $DIR for a consistent reproduction
@carlton @laymonage Well if we're discussing this seriously, we should also mention that it should be
git clone $URL $DIR
for a consistent reproduction