From 5bb89b28ebea8a4fe03560fa5d9fb6a573efb1ed Mon Sep 17 00:00:00 2001 From: "http://joeyh.name/" Date: Sat, 2 Nov 2013 23:45:39 +0000 Subject: [PATCH] Added a comment --- ...comment_1_ac6eb1072ef902a094b79dd8e0917c4d._comment | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 doc/todo/Show_repo_type_in_repo_list/comment_1_ac6eb1072ef902a094b79dd8e0917c4d._comment diff --git a/doc/todo/Show_repo_type_in_repo_list/comment_1_ac6eb1072ef902a094b79dd8e0917c4d._comment b/doc/todo/Show_repo_type_in_repo_list/comment_1_ac6eb1072ef902a094b79dd8e0917c4d._comment new file mode 100644 index 0000000000..10c0c17df4 --- /dev/null +++ b/doc/todo/Show_repo_type_in_repo_list/comment_1_ac6eb1072ef902a094b79dd8e0917c4d._comment @@ -0,0 +1,10 @@ +[[!comment format=mdwn + username="http://joeyh.name/" + ip="209.250.56.47" + subject="comment 1" + date="2013-11-02T23:45:39Z" + content=""" +Currently if you go to the edit page for the repository, it shows some information about it, including its type and often its location, at the bottom of the page. + +I tend to feel that putting anything else in the repo list would result in it being too cluttered. +"""]]