Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Pass --verbatim to git patch-id #98

Merged
merged 1 commit into from
Apr 5, 2023
Merged

Conversation

jerry-skydio
Copy link
Collaborator

@jerry-skydio jerry-skydio commented Apr 4, 2023

The patches to fix the whitespace issues with revup upload
have made it into mainstream git. We just need to enable the
new whitespace included patch id with the new flag.

This should fix issues where revup upload thinks no changes have
been made even though some have, but only to whitespace.

Topic: ws
Reviewers: brian-k

@jerry-skydio
Copy link
Collaborator Author

Reviews in this chain:
#98 Pass --verbatim to git patch-id

@jerry-skydio
Copy link
Collaborator Author

jerry-skydio commented Apr 4, 2023

# head base diff date summary
0 a7519f4c fa4e5a9a diff Apr 4 1:37 AM 1 file changed, 1 insertion(+), 1 deletion(-)
1 a029d56c fa4e5a9a diff Apr 4 3:02 AM 0 files changed
2 a7519f4c fa4e5a9a diff Apr 4 7:31 AM 0 files changed
3 392a8b61 1a86af93 diff Apr 4 19:01 PM 0 files changed
4 c6f11ce2 1a86af93 diff Apr 4 19:02 PM 0 files changed

@jerry-skydio jerry-skydio force-pushed the jerry/revup/main/ws branch 2 times, most recently from a029d56 to a7519f4 Compare April 4, 2023 14:32
The patches to fix the whitespace issues with revup upload
have made it into mainstream git. We just need to enable the
new whitespace included patch id with the new flag.

This should fix issues where revup upload thinks no changes have
been made even though some have, but only to whitespace.

Topic: ws
Reviewers: brian-k
@jerry-skydio jerry-skydio force-pushed the jerry/revup/main/ws branch 2 times, most recently from 392a8b6 to c6f11ce Compare April 5, 2023 02:02
@jerry-skydio jerry-skydio merged commit 84bbb76 into main Apr 5, 2023
@jerry-skydio jerry-skydio deleted the jerry/revup/main/ws branch April 5, 2023 02:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants