GitHub

Overview

GitHub is a web-based source-code hosting service whose pages are served from the hostname github.com and include repository-oriented routes such as /:user_id/:repository.^[1] The provided evidence shows a GitHub repository page for openhwgroup/force-riscv, identified in metadata as “GitHub - openhwgroup/force-riscv: Instruction Set Generator initially contributed by Futurewei.”^[1]