On Mon, Apr 27, 2015 at 5:04 PM, Peter Cock email@example.com wrote:
On Mon, Apr 27, 2015 at 1:04 PM, Ralf Gommers firstname.lastname@example.org wrote:
Done in the master branch of https://github.com/rgommers/vendor. I think that "numpy-vendor" is a better repo name than "vendor" (which is pretty much meaningless outside of the numpy github org), so I propose to push
master branch to https://github.com/numpy/numpy-vendor and remove the current https://github.com/numpy/vendor repo.
I'll do this in a couple of days, unless there are objections by then.
Can you not just rename the repository on GitHub?
Yes, that is possible. The difference is small in this case (retaining the 1 closed PR fixing a typo; there are no issues), but after looking it up I think renaming is a bit less work than creating a new repo. So I'll rename.