4 ms·

Total size of GIFs in that page is 46.7 MB. GitHub allows for real video upload which could be compressed much more efficiently: https://github.blog/news-insigh

• genezeta 2y ago
  Yes, it's really not ideal. But I'm seeing around half of that size (~23MB instead of 46). I've just opened an issue in case the author want to look into it. I got them to ~10MB total which is an improvement in any case.