aboutsummaryrefslogtreecommitdiff
path: root/reproduce/config/pipeline/web.mk
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2018-11-22 13:36:08 +0000
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2018-11-22 13:36:08 +0000
commit69585c325b31c0c2dc2cc7eeab1799efe70e523e (patch)
treef29dd27c2df544eb23070afb0ef2d58b765193a9 /reproduce/config/pipeline/web.mk
parentb514ec57575f786dd1090dd910dbdd9d98e93ec3 (diff)
Checklist defining remote moved to top
In the checklist, we are now defining the remote host of the repository at an early stage. This is because we will need it in the `README.md' file (which now has a placeholder `XXXXXXX' instead of a valid URL).
Diffstat (limited to 'reproduce/config/pipeline/web.mk')
0 files changed, 0 insertions, 0 deletions