You can also just upload an MP4 on GitHub. Using GIFs on GitHub is pretty embarrassing.