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
@svrnm@cartermp@austinlparker: Severin brought up the topic of "burden on PR contributors" of having to update the refcache file. I'd like to propose the following.
If a PR introduces "lots" of new external links, then the PR must/should include an updated refcache file.
For other PRs, feel free to merge the PR whether the refcache is fresh or not -- freshness is checked via a separate GH action so it is possible to merge w/o the action passing.
We can then have, say, a cron job that periodically update the website's refcache file. WDYT?
I'd also like to propose the following tweak to the build script: it should fail (it doesn't currently), if there's an invalid link or if a new external link results in a 404 (independent of the refcache freshness). How does that sound?
@svrnm @cartermp @austinlparker: Severin brought up the topic of "burden on PR contributors" of having to update the refcache file. I'd like to propose the following.
We can then have, say, a cron job that periodically update the website's refcache file. WDYT?
Tasks
The text was updated successfully, but these errors were encountered: