Static web resource management for Gazebo Hub web site onto GitHub Pages