diff options
| -rw-r--r-- | doc/todo/prevent_unwanted_init/comment_4_e73327b773db8ba8720af44ea46ffa2f._comment | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/doc/todo/prevent_unwanted_init/comment_4_e73327b773db8ba8720af44ea46ffa2f._comment b/doc/todo/prevent_unwanted_init/comment_4_e73327b773db8ba8720af44ea46ffa2f._comment new file mode 100644 index 000000000..919f827b4 --- /dev/null +++ b/doc/todo/prevent_unwanted_init/comment_4_e73327b773db8ba8720af44ea46ffa2f._comment @@ -0,0 +1,12 @@ +[[!comment format=mdwn + username="joey" + subject="""comment 4""" + date="2017-12-13T17:44:18Z" + content=""" +If git had a general-purpose config file checked into the repo, I'd use +that. The closest there is is the .gitattributes file, but that's very +unsuited for this purpose. It is per-file, so a hack like "*" would be +needed to refer to the whole repo. Worse, it doesn't allow setting values +containing spaces, which prevents putting a message to the user in there +in any reasonable format. +"""]] |