[Dillo-dev] Repository branch name

On Fri, Jul 15, 2011 at 10:17:33PM -0400, Jorge Arellano Cid wrote:

Hi,

Is there an easy way to rename the repo name from "dillo_port1.3" to "dillo3"?

I'd rather merge dillo_port1.3 over into our main repository, once dillo-2.2.1 is tagged and released. I can do that. Cheers, Johannes