pull request commands: pr view, list, diff #25
Labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set
Reference
jeff/zfj#25
Loading…
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Reported by harrier; low priority there, since it does not take PRs as requests yet.
What
zfj pr view <n>,zfj pr list,zfj pr diff <n>, and perhapspr create. Today these arezfj op repoGetPullRequest/repoListPullRequests/repoDownloadPullDiffOrPatch.The
issuecommands already take a PR's number (one index space), so comments, labels and closing are covered;issue listleaves PRs out.pr view, pr list and pr diff are in
669c71e. Still open: whetherpr createbelongs here too.