aboutsummaryrefslogtreecommitdiff
path: root/reproduce/src
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2018-11-21 14:44:34 +0000
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2018-11-21 14:44:34 +0000
commit4269bf721e626ae557959ed2b3e80e4cc59abf94 (patch)
treeff344fe748b8ad983354f476f47567735968365c /reproduce/src
parentdd649afc99bf24c5f0864df50c4246046d5ac19b (diff)
Fetching pipeline updates explained in README.md checklist
Since working on the pipeline will evolve along with the projects that use it, it can be useful for projects to fetch updates in the pipeline. So the checklist in `README.md' updated to explain how to do this cleanly.
Diffstat (limited to 'reproduce/src')
0 files changed, 0 insertions, 0 deletions