Updating SHAs for modified files

Stream: mathlib4

[Eric Rodriguez]

it'd be nice if there was a quick script for doing the "The following files have been modified since the commit at which they were verified." section, i.e. we can just copy-paste a diff and if they are okay then we can type file_not_changed.sh "(either the file or the whole git diff command)"

[Eric Rodriguez]

where are the SHAs stored?

[Eric Wieser]

The diffs are all visible at the bottom of this page

[Eric Rodriguez]

Eric Wieser said:

The diffs are all visible at the bottom of this page

how to quickly update if a diff isn't relevant? also, an expand-all button would be nice^^

[Eric Wieser]

PRs welcome at https://github.com/leanprover-community/mathlib-port-status; there's a gitpod setup that gets everything mostly setup (you just have to serve the output of python make_html.py with python -m http.server)

[Eric Wieser]

One approach we could use to marking files not changed is to have a bot that just pushes a branch for every not-up-to-date file claiming that it is up to date

[Eric Wieser]

And that site could just include links to open a PR for each file