[CCC DEV] Rename KRoC to kroc?
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.
> developers mailing list
> developers at concurrency.cc
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the developers