markstur opened this issue 7 years ago · 0 comments
The old repo name should redirect to the new one -- so it should work, but would be nice to update to use the new name.