Contributing to Rockstor (a simple how to get started question)

My local rockstor installation refererces a favicon stored without SSL on the rockstor website: http://rockstor.com/media/images/ico/favicon.ico

This is giving me a mixed content warning in Firefox, and I filed a bug: https://github.com/rockstor/rockstor-core/issues/1055

I thought it would be nice to try and fix this myself, the favicon is only in one place, at https://github.com/rockstor/rockstor-core/blob/master/src/rockstor/storageadmin/templates/storageadmin/base.html

But I’ve already got stuck: I need to upload that file into the repo, but I can’t work out where all the files that live under /opt/rockstor/static live in the git repo. Help! :smiley: