diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-21 15:03:27 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-21 15:03:27 +0000 |
| commit | 3a28b5f1458289a51eed092638af7d69c432669f (patch) | |
| tree | e16af548f98c8be7a6ba780f34bf5b0339a0f73a /reproduce/src/make | |
| parent | 4269bf721e626ae557959ed2b3e80e4cc59abf94 (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