back to https clone url for downloads.kitenet.net; fixed

doc/bugs/git-annex_annex_repo_not_found.mdwn

@@ -20,6 +20,4 @@ Have tried various combinations of the URL, but nothing works. It was like this
 # End of transcript or log.
 """]]
 
-> I have fixed the url to one that works. [[done]] If http protocol is needed for
-> sme reason, you will need to reopen this bug report and wait 2 weeks
-> until I have a decent internet connection to work on it. --[[Joey]]
+> [[fixed|done]] --[[Joey]] 

doc/publicrepos.mdwn

@@ -2,7 +2,7 @@ git-annex repositories are often kept private, but here's a list of some of
 the public repositories that you can clone to try out git-annex.
 
 * [downloads.kitenet.net](http://downloads.kitenet.net/)  
-  `git clone git://git.kitenet.net/downloads.git/`  
+  `git clone https://downloads.kitenet.net/.git/`  
   Various downloads of things produced by Joey Hess, including git-annex
   builds.
 * debconf-share  

doc/videos.mdwn

@@ -1,7 +1,7 @@
 Talks and screencasts about git-annex.
 
 These videos are also available in a public git-annex repository
-`git clone http://downloads.kitenet.net/.git/`
+`git clone https://downloads.kitenet.net/.git/`
 
 [[!inline pages="./videos/* and !./videos/*/* and !*/Discussion" show="2"]]