Pushing to git changes working tree

[shimunn]

Hi,

I've just ran into this strange behavior, where my working copy changes to a different tree(not sure if this is the correct terminology) after jj git push, after pushing the pushed commit disappears from jj log until jj git fetch

before push

@  vymuklnx [email protected] 2024-12-20 16:15:27 master* f88a4ff7
│  fix: wait for interval after failed connection attempt
◆  lyxqutzy [email protected] 2024-12-20 13:04:46 master@origin git_head() 9699ea5a

after push

@  zxuzyquk [email protected] 2024-12-20 16:15:45 e94f56bb
│  (empty) (no description set)
◆  lyxqutzy [email protected] 2024-12-20 13:04:46 master* git_head() 9699ea5a <--- Wrong parent
│  ci: build docs

after jj git fetch

@  zxuzyquk [email protected] 2024-12-20 16:15:45 e94f56bb <--- still the wrong parent
│  (empty) (no description set)
│ ◆  vymuklnx [email protected] 2024-12-20 16:15:27 master f88a4ff7 <--- but at least the commit has returned
├─╯  fix: wait for interval after failed connection attempt
◆  lyxqutzy [email protected] 2024-12-20 13:04:46 git_head() 9699ea5a
│  ci: build docs

I don't know if this might actually be an bug but if it isn't I'd call it strange ux

[bnjmnt4n]

I'm wondering if this is related to #5115. The behavior is definitely a bit confusing.