On Mon, Apr 27, 2015 at 5:04 PM, Peter Cock <firstname.lastname@example.org> wrote:On Mon, Apr 27, 2015 at 1:04 PM, Ralf Gommers <email@example.com> 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 my
> 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.