Since github does not allow to upload videos in the README.md, but only .gif. Here is a small script that I use quite often to convert a MP4 file to a high-quality GIF:

You might need to install graphicsmagick: sudo apt-get install graphicsmagick

Just use as: python mp4-to-gif name_of_video.mp4 and it will output a output.gif.

Long gone are online conversion tools…