Snippets with tag jj

• jj log all 29-06-25
• quick way to push last jj commit to git 10-06-25