Short bash script for turning videos into animated gif. Good for pull requests. - View it on GitHub