[CCC DEV] Rename KRoC to kroc?

Martin Ellis ellism88 at gmail.com
Wed Apr 10 16:10:08 BST 2013

I don't have a problem with it, though I don't see it making much of
a difference either way github seems to be case-insensitive.

On Wed, Apr 10, 2013 at 2:03 PM, Matt Jadud <matt at jadud.com> wrote:

> Hi all,
> With the Git move, the repository became "KRoC". Is there strong sentiment
> about this, or can I do a rename on the repository to "kroc," eliminating
> the mixed case?
> It makes for a more difficult repository URL if we leave it mixed.
> Cheers,
> M
> _______________________________________________
> developers mailing list
> developers at concurrency.cc
> http://lists.concurrency.cc/mailman/listinfo/developers
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.concurrency.cc/pipermail/developers/attachments/20130410/5597c393/attachment.htm>

More information about the developers mailing list