i usually use special video-to-gif converters (for ex. by geovid.com)// they work with all video formats & transform video files to gif animation)) you can create cool avatars & logos! the convertion is as follows: you choose input & output files, select size & quality and push the `start` button! the rest is done by the converter!!