tree 887e70fcd23c433d60bcf560cbc0ed81ba912a59
parent 08c6507ec975e9c728c5ccfaf29fc38494b430ae
author Márk Tolmács <mark@lazycat.hu> 1687368006 +0200
committer GitHub <noreply@github.com> 1687368006 +0000
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJkkzFGCRBK7hj4Ov3rIwAAWWgIAEJm8BSSN+eIhinc+vNxJTq3
 AvISKPBPe3ek2RKSQlRi8mcKUEl+3pSIlekzQDUxjONDVYzEVcq2B39rC8DCMcD9
 XskMRAa5lsk61b3H/6zmouEpJYXOGokJSC4iOZa7eYigeGASbe2ZrM8B5JA4vOwP
 urbsUtjF4PD839p841+sUla4DPsQODeG2YwVfww6O/82IkWrIVDL9OI5V5TG/rL4
 Op3sZ5byB3zJPjcBS1HSKfl+/oSUsNo+6AoPBR+N0VTedLSYKLC0bFtAUDXSiPPJ
 +RXLr+ixMU2oEMETS3rE24Vq6pKJEbxgDZmXmDC1jFbEILMP1K/VceAWfmDiKiU=
 =JpNH
 -----END PGP SIGNATURE-----
 

Enabling pre-push checks on Windows (#36123)

Re-submit the changes to enable windows pre-push checks.

This patch changes how `ci/bin/format.dart` generate diffs from `diff` and `patch` commands to `git diff` and `git apply` in order to have a common method for these operations on all platforms. Windows installations don't have diff and patch commands available by default and many implementations which provide such commands work differently than the UN*X tools. Git however works consistently across all platforms.

Additionally, this patch also changes the python executable in some of the pre-push components affected by this to `vpython3` to continue the effort started at flutter/flutter#108474 and I also removed the `--no-sound-null-safety` parameter in the ci/format.sh, ci/format.bat files

NOTE: Since the original patch caused some issues, I suggest that this should be tested more carefully before it is merged.

### Issues fixed by this PR
* flutter/flutter#108122
* flutter/flutter#107920
* flutter/flutter#86506
* flutter/flutter#106615

### [flutter/tests] repo impact
None.

writing and running engine tests.

[C++, Objective-C, Java style guides]: https://github.com/flutter/engine/blob/main/CONTRIBUTING.md#style