*actually* fix github visibility