Gifs

ffmpeg

You can use ffmpeg to convert videos to gifs. Here's a hairball of an ffmpeg command:

ffmpeg -t 2.5 -i 2muchcoffee4me-996049204148453376-20180514_082650-gif1.mp4 \
    -filter_complex "[0:v] scale=480:-1,split [a][b];[a] palettegen [p];[b][p] paletteuse" \
    2muchcoffee4me.gif

makes the color palettes look nice.