pull down to refresh
This is neat and creative - most folk assume PRs are native to git when they're some frankensteined thing from github.
You can imagine constructing a github-like experience around patches:
This is neat and creative - most folk assume PRs are native to git when they're some frankensteined thing from github.
You can imagine constructing a github-like experience around patches: