diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-08-24 15:37:42 +0200 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-08-24 15:37:42 +0200 |
commit | ea2af4b56aad2bff82a4e11a1aa3f980b8432340 (patch) | |
tree | 6b786cb65f9067ff7a13a104abfa25d48cdea34a /reproduce/src/make/dependencies-basic.mk | |
parent | cbe89f21061f190edae97f73f03ec4d49339a06f (diff) |
Checklist modified to keep pipeline history
Until now, in the check list of `README.md', we were recommending to delete
the history of the pipeline and start your own history from that. But this
disables users of the pipeline to keep it up to date with new features that
are added to it.
With this commit, the main branch is now called `pipeline' (to allow users
to use `master' for their own research) and in the clone command, the
pipeline's remote is now called `pipeline-origin' (to allow the user to use
`origin' for their own remote).
Diffstat (limited to 'reproduce/src/make/dependencies-basic.mk')
0 files changed, 0 insertions, 0 deletions