diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-22 13:55:38 +0000 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-22 13:55:38 +0000 |
commit | 61b6b019374ce541b2b1e66470226de289c60a4b (patch) | |
tree | 35dd31fb72048edeca17dd8e3a16a7424507d9b1 /reproduce/src/make | |
parent | 69585c325b31c0c2dc2cc7eeab1799efe70e523e (diff) |
Top level READMEs renamed to be similar to actual project
Until now, were were advising the users to rename the two README files
after cloning the project. This was because online Git browsers usually
display the `README.md' file, so we wanted the description of the pipeline
to be visible in the pipeline, and later when a project adopts it, they can
have their own `README.md'. But the problem is that any change in
`REAME.md' will later cause conflicts with a project's `README.md'. So we
are now using the same naming convention as the papers that use the
pipeline.
Diffstat (limited to 'reproduce/src/make')
0 files changed, 0 insertions, 0 deletions