New issue
Advanced search Search tips
Note: Color blocks (like █ or █) mean that a user may not be available. Tooltip shows the reason.

Issue 668458 link

Starred by 1 user
Status: Fixed
Owner:
hablich@chromium.org
Closed: Dec 2016
Cc:
machenb...@chromium.org
█ seththompson@chromium.org
Components:
EstimatedDays: ----
NextAction: ----
OS: ----
Pri: 2
Type: Bug



Sign in to add a comment

V8's GitHub mirror stopped syncing with googlesource

Project Member Reported by hablich@chromium.org, Nov 24 2016 
See https://github.com/v8/v8/commits/master. It looks like that there are no updates after the 21st November. Probably the sync service is stuck?

Comment 1 by hablich@chromium.org, Nov 24 2016

Cc: tandrii@chromium.org

Comment 2 by tandrii@chromium.org, Nov 24 2016

Cc: -tandrii@chromium.org
Infra isn't responsible for this sync.

Comment 3 by hablich@chromium.org, Nov 24 2016

Cc: seththompson@chromium.org
Status: Assigned (was: Untriaged)
Ah, yes. I remember now. This is set-up by GitHub itself. I contacted their support.

Comment 4 by hablich@chromium.org, Nov 24 2016

Owner: hablich@chromium.org

Comment 5 by hablich@chromium.org, Nov 24 2016

Status: Fixed (was: Assigned)
Syncing works again.

Comment 6 by biohazar...@gmail.com, Nov 25 2016 

Seems out-of-date again

Comment 7 by hablich@chromium.org, Nov 28 2016

Status: Assigned (was: Fixed)
Yes, already escalated to GitHub.

Comment 8 by s...@google.com, Nov 29 2016

Components: -Infra Infra>Client>V8

Comment 9 by seththompson@chromium.org, Dec 5 2016 

Any update on this one? Appears to be fixed now...

Comment 10 by biohazar...@gmail.com, Dec 5 2016 

Works for me.

Comment 11 by hablich@chromium.org, Dec 7 2016

Status: Fixed (was: Assigned)
►

Sign in to add a comment