Make an Animated GIF with ImageMagick

/usr/local/bin/convert -delay 20 -loop 1 some_file.mp4 animated.gif