mirror of
https://github.com/martinvonz/jj.git
synced 2024-10-25 07:56:16 +00:00
cli: disallow pushing open commit
This commit is contained in:
parent
4c3d73ff3b
commit
209c62075e
1 changed files with 5 additions and 0 deletions
|
@ -2118,6 +2118,11 @@ fn cmd_git_push(
|
||||||
let repo = get_repo(ui, &matches)?;
|
let repo = get_repo(ui, &matches)?;
|
||||||
let git_repo = get_git_repo(repo.store())?;
|
let git_repo = get_git_repo(repo.store())?;
|
||||||
let (repo, commit) = resolve_revision_arg(ui, repo, cmd_matches)?;
|
let (repo, commit) = resolve_revision_arg(ui, repo, cmd_matches)?;
|
||||||
|
if commit.is_open() {
|
||||||
|
return Err(CommandError::UserError(
|
||||||
|
"Won't push open commit".to_string(),
|
||||||
|
));
|
||||||
|
}
|
||||||
let remote_name = cmd_matches.value_of("remote").unwrap();
|
let remote_name = cmd_matches.value_of("remote").unwrap();
|
||||||
let branch_name = cmd_matches.value_of("branch").unwrap();
|
let branch_name = cmd_matches.value_of("branch").unwrap();
|
||||||
git::push_commit(&git_repo, &commit, remote_name, branch_name)
|
git::push_commit(&git_repo, &commit, remote_name, branch_name)
|
||||||
|
|
Loading…
Reference in a new issue