Last modified: 2014-06-10 16:26:08 UTC
http://metrics.wikimedia.org/ => It works! page -- https://metrics.wikimedia.org/ The certificate is only valid for stats.wikimedia.org and then you get the stats.wikimedia.org content -- ran across it from (broken) links on: https://www.mediawiki.org/wiki/UserMetrics/Guide -- what happened? this is still expected to be up, right?
host metrics.wikimedia.org metrics.wikimedia.org is an alias for stat1001.wikimedia.org. stat1001.wikimedia.org has address 208.80.154.155 did it break when it moved from stat1 ?
(In reply to Daniel Zahn from comment #0) > http://metrics.wikimedia.org/ > [...] > what happened? this is still expected to be up, right? Given https://gerrit.wikimedia.org/r/#/c/111466/ I guess it is no longer expected to be up. Thanks for catching the broken link!
Change 129134 had a related patch set uploaded by QChris: Remove unused metrics and metrics-api https://gerrit.wikimedia.org/r/129134
Yesterday during our team's standup meeting, we said that we want to redirect to Wikimetrics.
Change 129134 abandoned by QChris: Remove unused metrics and metrics-api Reason: The team said agreed that we should redirect to Wikimetrics instead of removing the domain. https://gerrit.wikimedia.org/r/129134
Change 129660 had a related patch set uploaded by QChris: Redirect metrics.wikimedia.org to Wikimetrics https://gerrit.wikimedia.org/r/129660
Change 129660 merged by Ottomata: Redirect metrics.wikimedia.org to Wikimetrics https://gerrit.wikimedia.org/r/129660
http redirects are working. For https, the certificate situation is not fully clear. I asked about it in RT #7352. Waiting for response there.
Change 133089 had a related patch set uploaded by QChris: Redirect https traffic from old metrics sites to wikimetrics https://gerrit.wikimedia.org/r/133089
Change 133089 merged by Dzahn: Redirect https traffic from old metrics sites to wikimetrics https://gerrit.wikimedia.org/r/133089
merged, looks good to me now. it redirects from .wikimedia.org to wmflabs.org