OK but again thats awful, because @ IS A COMMIT, so you are only a "git push" away from accidentally pushing arbitrary garbage instead of proper changes
You simply don't attach a bookmark to @, and `jj git push` will NEVER push it (to what branch would it push?)
The branch you're working on is instead on @-. So when you squash, it updates the branch.