README: inline videos are missing about rmf_demos HOT 3 CLOSED

@tanyouliang95 had suggested having a github repo just to store RMF related media (pics, gifs, etc). This repo will not be cloned into any workspace. Rather, the README in rmf_demos would point to the content in the media repo. But open to the idea of using GDrive too.

from rmf_demos.

I think one challenge with a github repo for media would be that it would grow large over time as we uploading new versions of the videos, unless we scrape the history and force-push it periodically. By that time I think it's basically become functionally equivalent to GDrive 🤷‍♂️ but perhaps with not as awesome a CDN.

from rmf_demos.

If we are still hosting the media files on github, we can also store them in a separate media branch, which will not consist of any past commit history. Refer to here. But still, I have no preference on where to store it.

On top of that, I also tried to update rmf_demos readme with this gdrive link. One downside is that static gdrive img links are not verbose.

from rmf_demos.