diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-21 14:44:34 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-21 14:44:34 +0000 |
| commit | 4269bf721e626ae557959ed2b3e80e4cc59abf94 (patch) | |
| tree | ff344fe748b8ad983354f476f47567735968365c /reproduce/src | |
| parent | dd649afc99bf24c5f0864df50c4246046d5ac19b (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