Closed JeroenDeDauw closed 7 years ago
@snaterlicious @adrianheine @tobijat Anyone see a problem with doing such a rename?
(Note: GitHub creates a redirect, so you can continue pushing to, and pulling from, the old URL)
I'm in favor of that.
I'll rename this weekend if no one posted concerns by then
Well, this never happened ;)
As suggested in #63