Skip to content
This repository was archived by the owner on Sep 30, 2024. It is now read-only.

RFC 201: Do not auto-index things being manually indexed #14572

Closed
efritz opened this issue Oct 9, 2020 · 1 comment · Fixed by #17893
Closed

RFC 201: Do not auto-index things being manually indexed #14572

efritz opened this issue Oct 9, 2020 · 1 comment · Fixed by #17893
Assignees
@garobrik
Labels
auto-index team/graph Graph Team (previously Code Intel/Language Tools/Language Platform)
Milestone
Code Intelligence...

Comments

@efritz
Copy link
Contributor

efritz commented Oct 9, 2020

Auto-indexing should not be enabled for a repository that is getting consistently uploads from a CI process as badly inferred data can interrupt actually good data that exists out-of-band.
@efritz efritz added team/graph Graph Team (previously Code Intel/Language Tools/Language Platform) RFC-201 labels Oct 9, 2020
@efritz efritz self-assigned this Oct 9, 2020
@sourcegraph-bot sourcegraph-bot mentioned this issue Oct 9, 2020
Closed
23 tasks
@efritz efritz added this to the 3.22 milestone Oct 18, 2020
@sourcegraph-bot sourcegraph-bot mentioned this issue Oct 18, 2020
Closed
@efritz efritz removed this from the 3.22 milestone Nov 18, 2020
@macraig macraig added this to the Code Intelligence Sprint 1 milestone Nov 20, 2020
@sourcegraph-bot sourcegraph-bot mentioned this issue Nov 20, 2020
Closed
14 tasks
@macraig macraig removed this from the Code Intelligence Sprint 1 milestone Nov 20, 2020
@efritz efritz removed their assignment Jan 18, 2021
@efritz efritz added this to the Code Intelligence Sprint 4 milestone Jan 18, 2021
@sourcegraph-bot sourcegraph-bot mentioned this issue Jan 18, 2021
Closed
40 tasks
@garobrik garobrik mentioned this issue Jan 18, 2021
Closed
@garobrik
Copy link
Contributor

Implementation: Once #17386 is done, check whether the most recent upload (if exists) was manual or automatic. If manual, don't run the auto indexer on this thing. If automatic or non-existent, run the auto indexer on this thing. End result will be that you can stop auto-indexing for a repository by manually uploading something, and you can restart it by requesting an auto-index run through the UI.

@garobrik garobrik self-assigned this Jan 18, 2021
@sourcegraph-bot sourcegraph-bot mentioned this issue Feb 1, 2021
Closed
36 tasks
@garobrik garobrik mentioned this issue Feb 1, 2021
Merged
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@garobrik garobrik

Labels
auto-index team/graph Graph Team (previously Code Intel/Language Tools/Language Platform)
Projects
None yet
Milestone
Code Intelligence Sprint 5
3 participants
@efritz @macraig @garobrik