@cgrand I think you should change Unrepl
to unrepl
as it looks a bit odd, right now.
@bozhidar the org name?
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
https://github.com/Unrepl/unrepl.el still works for instance
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.)