Project

General

Profile

Bug #10949

src.illumos.org: outdated indexes

Added by Gergő Mihály Doma over 1 year ago. Updated over 1 year ago.

Status:
Closed
Priority:
Normal
Target version:
-
Start date:
2019-05-12
Due date:
% Done:

100%

Estimated time:
Difficulty:
Tags:

Description

Indexes created Wed Apr 24 08:54:26 UTC 2019
#1

Updated by Joshua M. Clulow over 1 year ago

  • Status changed from New to In Progress
  • Assignee set to Joshua M. Clulow
  • % Done changed from 0 to 90
  • Tags deleted (needs-triage)

The process that initiates a regeneration of the index when it receives push notifications from Github had become stuck. I've restarted the service, and used the Github control panel to reissue the most recent push notification. An index update is underway as a result.

#2

Updated by Joshua M. Clulow over 1 year ago

  • Status changed from In Progress to Closed
  • % Done changed from 90 to 100

Definitely unstuck now:

Indexes created Mon May 13 01:54:00 UTC 2019

#3

Updated by Gergő Mihály Doma over 1 year ago

Joshua Clulow wrote:

Definitely unstuck now:

Indexes created Mon May 13 01:54:00 UTC 2019

Thanks!

Also available in: Atom PDF