diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2017-12-13 13:46:36 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2017-12-13 13:46:36 -0400 |
| commit | 859c133f46931fc0f8e2d2b5a027d33dab2cec75 (patch) | |
| tree | 2210c93a485315c31c4e9097f564a172f8fa3b9c | |
| parent | a508c11b11b9dc627fadc01f611e5e5495432cec (diff) | |
thought
| -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. +"""]] |