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
There are a few locations in the repo where there are hardcoded values that are easy to forget to update unless the particular file is being updated in a commit. As a result, these hardcoded values can get extremely out of date. Some kind of automation, e.g., pre-commit hook, pre-push hook, or GitHub Actions, that could automatically update these values would be a nice-to-have feature for keeping the repo in good shape.
Specific examples already identified (more might be identified as we revisit different parts of the repo):
There are a few locations in the repo where there are hardcoded values that are easy to forget to update unless the particular file is being updated in a commit. As a result, these hardcoded values can get extremely out of date. Some kind of automation, e.g., pre-commit hook, pre-push hook, or GitHub Actions, that could automatically update these values would be a nice-to-have feature for keeping the repo in good shape.
Specific examples already identified (more might be identified as we revisit different parts of the repo):
The text was updated successfully, but these errors were encountered: