Directories
¶
| Path | Synopsis |
|---|---|
|
cmd
|
|
|
prv
command
Command prv is a terminal UI for monitoring GitHub pull requests.
|
Command prv is a terminal UI for monitoring GitHub pull requests. |
|
internal
|
|
|
config
Package config reads prv's settings file.
|
Package config reads prv's settings file. |
|
domain
Package domain holds prv's pure types and derivations.
|
Package domain holds prv's pure types and derivations. |
|
github
Package github fetches the viewer's pull requests from the GitHub GraphQL API and maps them into domain types.
|
Package github fetches the viewer's pull requests from the GitHub GraphQL API and maps them into domain types. |
|
ui
Package ui is prv's Bubble Tea v2 model and view.
|
Package ui is prv's Bubble Tea v2 model and view. |
|
watchlist
Package watchlist stores the PRs the user added by hand as versioned JSON.
|
Package watchlist stores the PRs the user added by hand as versioned JSON. |
Click to show internal directories.
Click to hide internal directories.