mentions
Show GitHub notifications where you were mentioned or directly involved.
Stay on top of conversations without opening GitHub.
Note: The
--authorfilter now properly fetches and matches against the PR author’s username.
When to Use
- Morning check: “Any mentions while I was offline?”
- Follow-up: “What threads am I in?”
- Check for activity on a specific PR
Synopsis
prctrl mentions [OPTIONS]
Options
| Flag | Description | Default |
|---|---|---|
-u, --unread | Only show unread notifications | false |
-n, --limit <NUM> | Limit results shown | 20 |
-p, --pr <NUM> | Filter to specific PR number | all |
-s, --since-days <DAYS> | Only show notifications from the last N days | all |
--repo <PATTERN> | Filter by repository name (partial match, case-insensitive) | all |
--author <PATTERN> | Filter by author username (partial match, case-insensitive) | all |
-P, --priority | Show priority scores (1-5 stars based on age) | false |
--json | Output as JSON for scripting | false |
Examples
# Show all notifications
prctrl mentions
# Show only unread notifications
prctrl mentions --unread
# Check notifications for a specific PR
prctrl mentions --pr 123
# Combine with unread filter
prctrl mentions --pr 123 --unread
# Only show notifications from the last 3 days
prctrl mentions --since-days 3
# Filter by repository and time window
prctrl mentions --repo myorg --since-days 7
# Filter by author username
prctrl mentions --author johndoe
# Show priority scores for urgent notifications
prctrl mentions --priority
# Combine filters with priority
prctrl mentions --repo myorg --priority --since-days 3
# JSON output for scripting
prctrl mentions --json