You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Right now, when one edits, tst/worksheets/general.sheet/worksheet.g one then needs to "manually" update tst/worksheets/general.expected/. At the very least, we should document how to do this (e.g. via a comment inside tst/worksheets/general.sheet/worksheet.g). Perhaps we could also add a little script that does it automatically for the user (of course the changes made by that script then still need to be reviewed, but that's part of the regular PR review process anyway...)
The text was updated successfully, but these errors were encountered:
fingolfin
changed the title
Make it easier to update
Make it easier to update tst/worksheets/general.sheet/worksheet.g
Mar 28, 2019
Right now, when one edits,
tst/worksheets/general.sheet/worksheet.g
one then needs to "manually" updatetst/worksheets/general.expected/
. At the very least, we should document how to do this (e.g. via a comment insidetst/worksheets/general.sheet/worksheet.g
). Perhaps we could also add a little script that does it automatically for the user (of course the changes made by that script then still need to be reviewed, but that's part of the regular PR review process anyway...)The text was updated successfully, but these errors were encountered: