aboutsummaryrefslogtreecommitdiff
path: root/reproduce/src/make
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2018-11-21 15:03:27 +0000
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2018-11-21 15:03:27 +0000
commit3a28b5f1458289a51eed092638af7d69c432669f (patch)
treee16af548f98c8be7a6ba780f34bf5b0339a0f73a /reproduce/src/make
parent4269bf721e626ae557959ed2b3e80e4cc59abf94 (diff)
Pulling into pipeline branch instead of fetching in README.md
In the previous commit, we were recommending to fetch the work from this pipeline. But since we have a separate `pipeline' branch, we can simply checkout to that branch and pull all the recent changes. So with this commit, the steps to get recent updates to the pipeline are updated.
Diffstat (limited to 'reproduce/src/make')
0 files changed, 0 insertions, 0 deletions