diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2021-01-04 00:42:02 +0000 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2021-01-04 00:42:02 +0000 |
commit | 624ccc1326a5b9e86561bedcb97a9f04851e7067 (patch) | |
tree | 0364912960bfb9caf1eac4409f70a4757e5e5964 /reproduce/software/shell/git-pre-commit | |
parent | 0ac1e3cfe4252635f3e755fe8a1a2801ecc535be (diff) |
Edits on points raised by Raul
After his previous two commits, we discussed some of the points and I am
making these edits following those. In particular the last statement about
Madagascar "could have been more useful..." was changed to simply mention
that mixing workflow with analysis is against the modularity principle. We
should not judge its usefulness to the community (which is beyond our scope
and would need an official survey).
A few other minor edits were done here and there to clarify some of the
points.
Diffstat (limited to 'reproduce/software/shell/git-pre-commit')
0 files changed, 0 insertions, 0 deletions