diff options
| author | arnaud.oqube@c9b8c7ea33f1dea0b7a5485b86825c5bfa9efbf7 <arnaudoqube@web> | 2016-05-30 07:50:28 +0000 |
|---|---|---|
| committer | admin <admin@branchable.com> | 2016-05-30 07:50:28 +0000 |
| commit | e01f9e6d0ae05d1e951b8838ed1ae1af0df1ed5b (patch) | |
| tree | b3376e4dbf127b6097b4822cf733c86ec8f4c261 | |
| parent | a02b4d71263583122bd9956921b38f6b50bd1d30 (diff) | |
Added a comment
| -rw-r--r-- | doc/todo/use_stack_for_remote_building_propellor/comment_3_93cc19bf7001cf2d3960e71b60db197c._comment | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/doc/todo/use_stack_for_remote_building_propellor/comment_3_93cc19bf7001cf2d3960e71b60db197c._comment b/doc/todo/use_stack_for_remote_building_propellor/comment_3_93cc19bf7001cf2d3960e71b60db197c._comment new file mode 100644 index 00000000..3d8d93a7 --- /dev/null +++ b/doc/todo/use_stack_for_remote_building_propellor/comment_3_93cc19bf7001cf2d3960e71b60db197c._comment @@ -0,0 +1,10 @@ +[[!comment format=mdwn + username="arnaud.oqube@c9b8c7ea33f1dea0b7a5485b86825c5bfa9efbf7" + nickname="arnaud.oqube" + subject="comment 3" + date="2016-05-30T07:50:28Z" + content=""" +OK. Indeed my patch is a bit brutal, that's one reason I have not proposed it straight away :-) + +I understand the rationale behind being flexible in how to build locally and remotely. Using a git config property seems pretty straightforward but I don't see how to do it within `config.hs`. Any suggestion? +"""]] |