jlab: Don't push empty commits
This commit is contained in:
parent
355b63cf73
commit
12074f6d2e
|
@ -250,7 +250,7 @@ elif sys.argv[1] == "push":
|
|||
bookmark = current_bookmark()
|
||||
if not bookmark:
|
||||
raise RuntimeError("Couldn't find a current branch")
|
||||
heads = jj.log("heads(@::)")
|
||||
heads = jj.log("heads(ancestors(@::) ~ empty())")
|
||||
if len(heads) != 1:
|
||||
raise RuntimeError("Multiple heads") # Or none if something goes horribly wrong
|
||||
head = heads[0]
|
||||
|
|
Loading…
Reference in a new issue