Hi,
I would like a function that will (1) crop and (2) resize the pixels of a geocoded MintPy data set. It would look like, for example:
```
resample-results.py velocity.h5 -b 35.9 36.2 -120.8 -120.1 --lalo-step 0.0025 0.0025 -o resampd_velocity.h5
```
I've looked around, and I see `geocode.py` will accept these arguments for files in radar coordinates, but does not work (yet) for results in geographic coordinates. I also see `subset.py` will work for both reference systems, but does not change the pixel size. For geocoded products such as ARIA and HyP3, the cropping and resampling is done prior to time-series computation.
Are there any functions available in MintPy that will do what I have in mind?
Thanks!