unrepl 2018-03-16

@cgrand I think you should change Unrepl to unrepl as it looks a bit odd, right now.

Yeah, those are very rarely capitalized.

I don’t think renaming it would change/break anything for anyone.

ok changed it.

for the record it was all caps in the settings...

and github seems to be case insensitive (at least for the username) https://github.com/cLoJuRe-EmAcS/cider-nrepl

Even when you rename stuff, github adds redirects automatically

or when you transfer repos

Yeah, that’s quite handy. 🙂

and it works even for integrations (renaming/transferring doesn’t break them)

Only badges break. 🙂

I wonder how are things handled if one can recreate (maybe one can’t) a repo by the same name as one which was transferred. (Granted it’s a very laborious attack vector.)