If you need to resize a GIF, this is a easy one to use.
It works online so nothing to install, plus its free to use.

https://ezgif.com/resize