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

..

gm-demo-kickoff-filter.gif

…

gm-demo-labels.gif

…