aboutsummaryrefslogtreecommitdiff
path: root/reproduce/src/make/Top-Makefile
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2018-08-24 15:37:42 +0200
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2018-08-24 15:37:42 +0200
commitea2af4b56aad2bff82a4e11a1aa3f980b8432340 (patch)
tree6b786cb65f9067ff7a13a104abfa25d48cdea34a /reproduce/src/make/Top-Makefile
parentcbe89f21061f190edae97f73f03ec4d49339a06f (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/Top-Makefile')
0 files changed, 0 insertions, 0 deletions