Eric 35129d9fc1

Reduce filesize of two large gifs to fix failing step of website deploy workflow. (#31765) ...

Related to: #31753

Changes:
- Replaced the large GIFs used in the tools/github-manage folder's
README with compressed versions. (The uncompressed versions are possibly
exceeding Heroku's filesize limit for `git push`.)

2025-08-08 17:37:18 -05:00

22 MiB

1278x720px

Raw History