summaryrefslogtreecommitdiff
path: root/doc/todo/use_stack_for_remote_building_propellor/comment_3_93cc19bf7001cf2d3960e71b60db197c._comment
diff options
context:
space:
mode:
Diffstat (limited to 'doc/todo/use_stack_for_remote_building_propellor/comment_3_93cc19bf7001cf2d3960e71b60db197c._comment')
-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?
+"""]]