push:
	jj git push -c @-

merge:
	jj branch set main -r @-
	jj git push -b main