Release notes for 2023 December

23.12.0.3

• fix: improved request throttling on pull request fetching, may result in longer wait times