jj/cli at 03b6d380f5b0dc1fbaf752f0a99d15b418af8ef8 - jj

mirror of https://github.com/martinvonz/jj.git synced 2025-05-28 10:31:14 +00:00

History

Stephen Jennings 03b6d380f5 git: add git.private-commits setting for preventing commits from being pushed

The user can define the setting `git.private-commits` as they desire. For
example:

    git.private-commits = 'description(glob:"wip:*")'

If any commits are in this revset, then the push is aborted.

If a commit would be private but already exists on the remote, then it does
not block pushes, nor do its descendents block pushes unless they are also
contained in `git.private-commits`.

Closes #3376

2024-07-23 08:45:51 -07:00

examples

copy-tracking: stub get_copy_records

2024-07-03 20:26:30 -04:00

src

git: add git.private-commits setting for preventing commits from being pushed

2024-07-23 08:45:51 -07:00

testing

cli: skip formatting instructions if not required

2024-07-09 20:24:14 -05:00

tests

git: add git.private-commits setting for preventing commits from being pushed