Ive been using this site lately, really handy for taking a video and making a GIF out of it. From that you can also edit it, cut it, add text, reduce the size… so many things. https://ezgif.com/