diff options
| author |  https://www.google.com/accounts/o8/id?id=AItOawm7AuSfii_tCkLyspL6Mr0ATlO6OxLNYOo <Georg@web> | 2013-09-20 11:29:04 +0000 |
|---|---|---|
| committer |  admin <admin@branchable.com> | 2013-09-20 11:29:04 +0000 |
| commit | d5f28a02e5e42c3aa5e80cc2824b687b57aef4eb (patch) | |
| tree | 2e3011481d76b4a07e542a3ffef2acc8173197e9 | |
| parent | 6aedd6a3ef08cd7e223d8e507c318f911b67ead8 (diff) | |
Added a comment
| -rw-r--r-- | doc/todo/direct_mode_guard/comment_2_85bdb9dc601b87bd7c77150d7b0a5cde._comment | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/todo/direct_mode_guard/comment_2_85bdb9dc601b87bd7c77150d7b0a5cde._comment b/doc/todo/direct_mode_guard/comment_2_85bdb9dc601b87bd7c77150d7b0a5cde._comment new file mode 100644 index 000000000..7cf37a917 --- /dev/null +++ b/doc/todo/direct_mode_guard/comment_2_85bdb9dc601b87bd7c77150d7b0a5cde._comment @@ -0,0 +1,8 @@ +[[!comment format=mdwn + username="https://www.google.com/accounts/o8/id?id=AItOawm7AuSfii_tCkLyspL6Mr0ATlO6OxLNYOo" + nickname="Georg" + subject="comment 2" + date="2013-09-20T11:29:04Z" + content=""" +Maybe make a git sub-namespace of commands. Yeah, I know, something like git annex git-add sounds a bit on the verbose side, but it would allow access to possibly all git commands regardless of name clashes. +"""]] |