diff options
author | Joey Hess <joeyh@joeyh.name> | 2017-09-29 12:55:42 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2017-09-29 12:55:42 -0400 |
commit | 0dfc1d4e6eb37aadaba47a210539b2438fba97f5 (patch) | |
tree | e0beee12909c581f06829060a93a72d6686ca730 /doc/bugs/Internal_Server_Error__58___Unknown_UUID/comment_4_651440cda405ad40a04479f5d87d581e._comment | |
parent | bd2a9fb40ef0bbe812e8ea375a5caabd6e628ef2 (diff) |
remove old closed bugs and todo items to speed up wiki updates and reduce size
Remove closed bugs and todos that were last edited or commented before 2017.
Command line used:
for f in $(grep -l '|done\]\]' -- *.mdwn); do d="$(echo "$f" | sed 's/.mdwn$//')"; if [ -z "$(git log --since=01-01-2017 --pretty=oneline -- "$f")" -a -z "$(git log --since=01-01-2017 --pretty=oneline -- "$d")" ]; then git rm -- "./$f" ; git rm -rf "./$d"; fi; done
for f in $(grep -l '\[\[done\]\]' -- *.mdwn); do d="$(echo "$f" | sed 's/.mdwn$//')"; if [ -z "$(git log --since=01-01-2017 --pretty=oneline -- "$f")" -a -z "$(git log --since=01-01-2017 --pretty=oneline -- "$d")" ]; then git rm -- "./$f" ; git rm -rf "./$d"; fi; done
Diffstat (limited to 'doc/bugs/Internal_Server_Error__58___Unknown_UUID/comment_4_651440cda405ad40a04479f5d87d581e._comment')
-rw-r--r-- | doc/bugs/Internal_Server_Error__58___Unknown_UUID/comment_4_651440cda405ad40a04479f5d87d581e._comment | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/doc/bugs/Internal_Server_Error__58___Unknown_UUID/comment_4_651440cda405ad40a04479f5d87d581e._comment b/doc/bugs/Internal_Server_Error__58___Unknown_UUID/comment_4_651440cda405ad40a04479f5d87d581e._comment deleted file mode 100644 index 87da8dc31..000000000 --- a/doc/bugs/Internal_Server_Error__58___Unknown_UUID/comment_4_651440cda405ad40a04479f5d87d581e._comment +++ /dev/null @@ -1,10 +0,0 @@ -[[!comment format=mdwn - username="https://launchpad.net/~subito" - nickname="subito" - subject="Same here for SSH remotes" - date="2013-07-29T19:05:55Z" - content=""" -I get the problem while only adding an SSH remote. After deciding I want a git-repo on my server, it says \"Unknown UUID\" and created a remote with no name. I was unable to add any SSH remote (tried with two different servers and a couple different dirs - some completly unknown to my annex) - -I used the Android webapp btw - latest Version. The same version works fine on my Debian maschines. -"""]] |