New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

[portsdiff] Optimize for identical commits #1399

Merged

BillyONeal merged 1 commit into microsoft:main from Thomas1664:portsdiff-equal-commits

May 1, 2024

Contributor

Thomas1664 commented May 1, 2024

There is no need to actually calculate the difference between 2 commits if they are the same.


          [portsdiff] Optimize for identical commits

a09778b

BillyONeal merged commit 4381031 into microsoft:main

5 checks passed

Member

BillyONeal commented May 1, 2024

That's fair, thanks :)

Thomas1664 deleted the portsdiff-equal-commits branch

May 1, 2024 19:25

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet