PR Trends Use this skill when the user wants a repo-level pull request trend report. Quick start Run the bundled script from the target repository: Useful options: Source selection - : try first for exact PR , , and line counts. Fall back to if is unavailable or offline. - : require GitHub CLI data. Use this when the user needs exact PR creation trends and accurate days-to-merge. - : use only local mainline history. This gives reliable merged counts and merged lines changed, but it cannot recover exact PR creation timestamps or closed-unmerged PRs. Output The script prints: 1. A weekly summar…