PR diff is different for different people: showing missing line endings only for some users #136302
Replies: 2 comments 2 replies
-
💬 Your Product Feedback Has Been Submitted 🎉 Thank you for taking the time to share your insights with us! Your feedback is invaluable as we build a better GitHub experience for all our users. Here's what you can expect moving forward ⏩
Where to look to see what's shipping 👀
What you can do in the meantime 💻
As a member of the GitHub community, your participation is essential. While we can't promise that every suggestion will be implemented, we want to emphasize that your feedback is instrumental in guiding our decisions and priorities. Thank you once again for your contribution to making GitHub even better! We're grateful for your ongoing support and collaboration in shaping the future of our platform. ⭐ |
Beta Was this translation helpful? Give feedback.
-
Hi @corneliusroemer, thanks for flagging this I've gone ahead and moved this post to our |
Beta Was this translation helpful? Give feedback.
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
-
Select Topic Area
Bug
Body
Github PR diffs appear to show different results for different people.
This is what I see:
This is what another user sees at the same time:
Note the first diff doesn't show a missing line ending, the second does.
Reproduction Steps
Go to python/peps#3909 (comment) and observe the comments there
It's possible that this bug is due to the last line ending in backslash
\
. That could possibly throw off Github/git.Fault Type
Permanent - Occurring repeatably
Blocking?
No
Beta Was this translation helpful? Give feedback.
All reactions