From e01f9e6d0ae05d1e951b8838ed1ae1af0df1ed5b Mon Sep 17 00:00:00 2001 From: arnaud.oqube@c9b8c7ea33f1dea0b7a5485b86825c5bfa9efbf7 Date: Mon, 30 May 2016 07:50:28 +0000 Subject: Added a comment --- .../comment_3_93cc19bf7001cf2d3960e71b60db197c._comment | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 doc/todo/use_stack_for_remote_building_propellor/comment_3_93cc19bf7001cf2d3960e71b60db197c._comment (limited to 'doc/todo/use_stack_for_remote_building_propellor') 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? +"""]] -- cgit v1.2.3