jj git push doesn't detect moved bookmark

[viyic]

So I have main and dev bookmarks that are on the same revision. I added a new revision, moved the dev bookmark to it, ran jj git push, and it worked. I then moved the main bookmark to that same revision, but when I tried to push it, it showed me the warning below, so I had to specify the bookmark with jj git push --bookmark main. Is this the intended behavior?

> jj git push
Warning: No bookmarks found in the default push revset: remote_bookmarks(remote=origin)..@
Nothing changed.