Fetch_pull_request tool no longer available

[danperks (Dan)]

Hey, see my reply here:

Anyone Else Noticing Strange Things After 1.5?

Hey, unfortunately, we’ve temporarily disabled PR indexing due to the feature causing client memory issues. The team are currently investigating how to resolve this, but during this time, PR integration will remain unavailable.