# GitHub
## Filter Open PRs by File
```bash
gh pr list --json url,files | jq 'map(select(.files | map(.path | contains("lib/myfile.txt")) | any))'
```
([source](https://superuser.com/a/1809077/744283))
## View Public SSH Keys for Any User
Append `.keys` to a user's profile URL:
```text
https://github.com/<username>.keys
```
## Get Commit Author Details
Append `.patch` or `.diff` to a commit URL:
```text
https://github.com/<user>/<repo>/commit/<hash>.patch
```
Example header:
```text
From: username <
[email protected]>
Date: Tue, 18 Feb 2025 14:03:21 +0000
Subject: [PATCH] commit message here
```
- `.patch` — always includes author name + email
- `.diff` — name only, email not guaranteed
- If the user has email privacy enabled, the email will be `<
[email protected]>`