Skip to content

missing rustc commits #1483

Closed
Closed
@Mark-Simulacrum

Description

@Mark-Simulacrum

We are not infrequently losing rustc commits from the database log. We should try to prevent this by auto-healing more reliably.

A query like select parent_sha from rustc_commits where parent_sha not in (select sha from rustc_commits) and time > '2021-01-01'; against the database can give us the list of SHAs we're missing (potentially incomplete, but these should all definitely be in the DB). From there, we should be able to query GitHub for their information (PR, parent SHA, time) and fill the database in.

It is likely that doing this instead of / in place of the current logic which attempts to "scan back" on a git push to rust-lang/rust is preferable, and should be fairly reliable. We will need to be careful to avoid falling into any infinite loops, but that should not be terribly hard.

Implementing this should also hopefully be not too hard, and I'd be happy for someone to invest time into doing so -- please feel free to ping me on Zulip (or this issue). I'll likely get to it eventually because it's becoming a hassle to re-add commits manually, but that may take some time.

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't working

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions