Closed lnicola closed 3 weeks ago
What's your josh version?
josh-proxy v22.4.15 (https://github.com/josh-project/josh#012f8dcc)
But I also tried https://github.com/josh-project/josh/commit/60dc5873ef26f175152aa6ad81d39de76d2a4950 without any luck. I did clear my cache both before and after upgrading.
Strangely I am getting a different error:
Pushing rust-analyzer changes...
$ git push http://localhost:42042/RalfJung/rust.git:rev(55d9a533b309119c8acd13061581b43ae8840823:prefix=src/tools/rust-analyzer):/src/tools/rust-analyzer.git HEAD:sync-from-ra
To http://localhost:42042/RalfJung/rust.git:rev(55d9a533b309119c8acd13061581b43ae8840823:prefix=src/tools/rust-analyzer):/src/tools/rust-analyzer.git
! [rejected] HEAD -> sync-from-ra (fetch first)
error: failed to push some refs to 'http://localhost:42042/RalfJung/rust.git:rev(55d9a533b309119c8acd13061581b43ae8840823:prefix=src/tools/rust-analyzer):/src/tools/rust-analyzer.git'
hint: Updates were rejected because the remote contains work that you do not
hint: have locally. This is usually caused by another repository pushing to
hint: the same ref. If you want to integrate the remote changes, use
hint: 'git pull' before pushing again.
hint: See the 'Note about fast-forwards' in 'git push --help' for details.
It's not even getting to the round-trip check, it already fails to push before because it produced something that's not a fast-forward from the base commit in rust-version
. I'm getting this even for old versions of RA, like when I go back to commit ffbc5ad
(which I guess was the basis for pushing https://github.com/rust-lang/rust/pull/127617), even after removing the cache.
Not sure what's up with that, I won't have the time to dig into this. This looks like a josh bug to me so I'd suggest reporting it upstream.
EDIT: I may be using a too-old josh, since Miri doesn't need the josh patch that was landed to make RA work initially. I'll try again with a current version of josh.
With the right version of josh, I tried pushing various commits in the repo, and the first one that fails is 0ba6f4eda0, the commit that landed https://github.com/rust-lang/rust-analyzer/pull/17676. Looking at what is different between the round-tripped version and the original, 5af51fa is the first commit that didn't make it.
Original commit info:
commit 5af51fa47610d0f88dcab99aaaff2ee4fca17c00
tree 5cf661188e20157ffab5d742ce22d5fa44d18bd1
parent 4a91453409aaf58eba0a91e4b62a35f49814b394
author Winston H. <56998716+winstxnhdw@users.noreply.github.com> 1721814140 +0100
committer GitHub <noreply@github.com> 1721814140 +0100
After extracted from josh:
commit fc919994d0759bca7423444e0d0bc044df80359a
tree 5cf661188e20157ffab5d742ce22d5fa44d18bd1
parent 4a91453409aaf58eba0a91e4b62a35f49814b394
author Winston H <56998716+winstxnhdw@users.noreply.github.com> 1721814140 +0100
committer GitHub <noreply@github.com> 1721814140 +0100
The .
after Winston H
went missing.
Filed upstream as https://github.com/josh-project/josh/issues/1345.
With https://github.com/josh-project/josh/pull/1346, josh syncs are working again with RA.
Thanks for saving the day again! Sync PR at https://github.com/rust-lang/rust/pull/128490.
I'm not sure what changed, this worked well until today.
CC @RalfJung