diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-22 13:36:08 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-22 13:36:08 +0000 |
| commit | 69585c325b31c0c2dc2cc7eeab1799efe70e523e (patch) | |
| tree | f29dd27c2df544eb23070afb0ef2d58b765193a9 /reproduce/config/pipeline/web.mk | |
| parent | b514ec57575f786dd1090dd910dbdd9d98e93ec3 (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