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
Sometimes the web app is trying to be too smart when doing a pull on git integration. I can make some changes, but then undo the changes to avoid conflicts when pulling - say, by pasting the old version of the file (in the latest commit previously pulled by the web app) on top of the modified version to get fully rid of my "dirty tree" state in the web app -, but if I do that, that seems to consistently cause problems when pulling. The file gets apparently scrambled, with changes appearing together at the top, or with some changes being skipped (lines that should have been deleted but weren't, for example).
Reproduction URL
No response
Browsers
Firefox
OS
Linux
The text was updated successfully, but these errors were encountered:
Description
Sometimes the web app is trying to be too smart when doing a pull on git integration. I can make some changes, but then undo the changes to avoid conflicts when pulling - say, by pasting the old version of the file (in the latest commit previously pulled by the web app) on top of the modified version to get fully rid of my "dirty tree" state in the web app -, but if I do that, that seems to consistently cause problems when pulling. The file gets apparently scrambled, with changes appearing together at the top, or with some changes being skipped (lines that should have been deleted but weren't, for example).
Reproduction URL
No response
Browsers
Firefox
OS
Linux
The text was updated successfully, but these errors were encountered: