On Mon, Jun 11, 2012 at 02:25:42PM +0900, Charles Plessy wrote: > I pushed a draft package, r-bioc-biocgenerics, that I needed at work. BTW, this repository endet up in /git/debian-med/r-bioc-biocgenerics.git.git Is it OK to simply rename the directory to r-bioc-biocgenerics.git ? Kind regards Andreas. -- http://fam-tille.de