I want to apply a patch from this [PR](https://github.com/flutter/flutter/pull/137874) how to proceed ? On my local machine i use the following in the flutter directory: ``` bash curl https://patch-diff.githubusercontent.com/raw/flutter/flutter/pull/137874.patch > intrinsic.patch git apply intrinsic.patch ``` How can I do the same from my CI ?