Page MenuHomePhabricator

Repo mediawiki/extensions/SyntaxHighlight_Pygments is not present at GitHub
Closed, ResolvedPublic

Description

Repo mediawiki/extensions/SyntaxHighlight_Pygments is not present at GitHub. I expect https://github.com/wikimedia/mediawiki-extensions-SyntaxHighlight_Pygments to exist, but it's not there.

Event Timeline

siebrand created this task.Oct 15 2015, 6:33 AM
siebrand raised the priority of this task from to Needs Triage.
siebrand updated the task description. (Show Details)
siebrand added a project: GitHub-Mirrors.
siebrand added a subscriber: siebrand.
Restricted Application added a subscriber: Aklapper. · View Herald TranscriptOct 15 2015, 6:33 AM
Krenair closed this task as Resolved.Oct 15 2015, 1:13 PM
Krenair claimed this task.
Krenair added a subscriber: Krenair.

I just created it, then fiddled around in settings while waiting for gerrit to replicate. It's done now.