#:schema https://docs.jj-vcs.dev/latest/config-schema.json

[user]
name = "pablu"
email = "me@pablu.de"

[aliases]
push = ["util", "exec", "--", "jj-push"]