You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
RalfJung
changed the title
Non-roundtrip "push" to josh branch when a commit has a . as the last character of the author name
Non-roundtrip push to josh branch when a commit has a . as the last character of the author name
Aug 1, 2024
Seems like git used to prevent a . from even existing at the end of a username, but this got changed last year. So probably whatever git library josh is using needs to get the same kind of update?
The commit rust-lang/rust-analyzer@5af51fa does not properly round-trip through a push to josh.
Original commit info (
git show --format=raw
):After a round-trip through josh:
The
.
afterWinston H
went missing. Seems like somewhere josh is normalizing usernames and doesn't like the trailing.
?The text was updated successfully, but these errors were encountered: