2 commits

Author	SHA1	Message	Date
Stephen Jennings	2a9fdbac52	git: add --allow-private option to push command	2024-07-23 08:45:51 -07:00
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