Add a server option to avoid loading pushed dates (#599)
In Github 2023-07-01, the Github.com V4 API no longer returns pushedDate for commits. Policy bot now supports an option do_not_load_commit_pushed_date to avoid loading data that is no longer returned.
See #598 for more details
Other Changes
- Exclude policy-bot pages from search indexing (#588)
- Update dependencies and build tools