Some open source repos from GitHub are missing in Code Search results

This incident has been resolved. Happy searching.

731k repositories have been indexed for search.

Current status: all repositories (989,820) have been synced/cloned. 677k have been indexed and should be finished sometime tomorrow.

Current status: 990k repositories synced/cloned from GitHub. 644k have been indexed. Getting closer to finished.

Current status: 870k repositories synced/cloned from GitHub. 611k have been indexed.

Current status: 700k repositories synced/cloned from GitHub. 557k have been indexed. Updating impact from Major to Minor.

Current status: 557k repositories synced/cloned from GitHub. 528k have been indexed.

Current status: still at 527k repositories synced/cloned from GitHub. 489k have been indexed (+126k).

Current status: 527k repositories synced/cloned from GitHub. 363k have been indexed.

Current status: 422k repositories synced from GitHub. 297k have been indexed.

We are currently resynchronizing the GitHub repositories. This process will take some time to complete, based on the current rate of syncing, it’ll take ~48 hours to finish syncing all the deleted repos. Time to finish indexing is unknown at this time.

We've spotted that something has gone wrong. We're currently investigating the issue, and will provide an update soon.

We are currently resynchronizing the GitHub repositories. This process will take some time to complete, based on the current rate of syncing, it’ll take ~48 hours to finish syncing all the deleted repos. Time to finish indexing is unknown at this time.

We are currently resynchronizing the GitHub repositories. This process will take some time to complete, and we will provide updates on our progress.

We're currently investigating the issue, and will provide an update soon.