jj-vcs/jj

FR: `revsets.push`

Open

#3,650 opened on May 8, 2024

View on GitHub
 (0 comments) (2 reactions) (0 assignees)Rust (1,052 forks)batch import
good first issuepolish🪒🐃

Repository metrics

Stars
 (28,830 stars)
PR merge metrics
 (Avg merge 23d 5h) (46 merged PRs in 30d)

Description

Is your feature request related to a problem? Please describe. basically, #2434. except i have a custom revset i'd like to use instead of whatever the default may end up being

Describe the solution you'd like a new config option akin to revsets.log: revsets.push

Describe alternatives you've considered since push is backend-specific behavior, it might be better to make the new config key git.push-revset instead. (NB would be nice to do some config squashing, ie git.push.revset, but that's a larger change)

Contributor guide