summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorarnaud.oqube@c9b8c7ea33f1dea0b7a5485b86825c5bfa9efbf72016-05-30 07:50:28 +0000
committeradmin2016-05-30 07:50:28 +0000
commite01f9e6d0ae05d1e951b8838ed1ae1af0df1ed5b (patch)
treeb3376e4dbf127b6097b4822cf733c86ec8f4c261 /doc
parenta02b4d71263583122bd9956921b38f6b50bd1d30 (diff)
Added a comment
Diffstat (limited to 'doc')
-rw-r--r--doc/todo/use_stack_for_remote_building_propellor/comment_3_93cc19bf7001cf2d3960e71b60db197c._comment10
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?
+"""]]