Video needs to be uploaded on server so that I always use gif.
Because it’s time and resources saving.
I specifically use https://ezgif.com to convert my videos to gif.
It have lots of function like speed control, crop ,resize.
Not limited to videos to gif , animation, gif optimizer and much more.