mediawiki/extensions/OpenStreetMapSlippyMap

SlippyMap exists in svn:

http://svn.wikimedia.org/viewvc/mediawiki/trunk/extensions/SlippyMap/

SlippyMap does not exist in gerrit, but that's ok, as no one requested it.

Not sure ... what the problem this bug reports.

If it's about getting the svn repo into git, please request it at

https://www.mediawiki.org/wiki/Git/New_repositories/Requests

Might be my fault.
I went to https://www.mediawiki.org/wiki/Extension:SlippyMap where there is a link "repo summary". It links to
https://git.wikimedia.org/summary/mediawiki%2Fextensions%2FSlippyMap
and that does not look like a 404 at all to me, but like an existing project.

(In reply to comment #3)

I went to https://www.mediawiki.org/wiki/Extension:SlippyMap where there is a
link "repo summary". It links to
https://git.wikimedia.org/summary/mediawiki%2Fextensions%2FSlippyMap
and that does not look like a 404 at all to me, but like an existing project.

I switched the InfoBox to server=svn, as the repo is not yet in gerrit.
Now it links to the code in svn.

Hmm. Likely PEBKAC, but I'm still really confused by https://git.wikimedia.org/summary/mediawiki%2Fextensions%2FSlippyMap - what is that? What do I miss on that page that would make me realize that SlippyMap is not in Gerrit?

(In reply to comment #5)

Likely PEBKAC

Probably. But it was on my end :-)

Cloning a mirror from git.wikimedia.org, it turns out the repository seems
to have been in gerrit at some point, as there are commits to refs/meta/config.

The repository also still exists on github:

https://github.com/wikimedia/mediawiki-extensions-SlippyMap

Sooo ... do we want to bring the SlippyMap back to gerrit, or nuke the repos
on git.wikimedia.org and github?

(Seeing that the refs/meta/config claims the project's description was

to be deleted

in various casings since 2012-10-26, I assume we want to remove them from
git.wikimedia.org and github. Will work towards that that next week if no one says that we want to get it back into gerrit)

At last! :-)
Repo should is gone from github and gitblit as well.