Skip to content

Mirror

Concept

Definition

A repository that copies another project's code; here a repository counts as original only when the owner wrote at least half of its commits.

Further reading

Git: mirroring a repository

Terms that appear on the same pages, the most frequent first.

Where this term sits

This term at the centre of the map of concepts, its neighbours lit; hover any term to read it, click to open it.

Show as a list

    Where it is used

    2 pages of this site build on this term.

    • Tomas Korcak

      Software that proves its work: tools that make AI agents prove what they did, honest scientific instruments in the browser, and knowledge bases you can check.

    • Repositories

      Every original public repository on GitHub and GitLab, merged by name, with its inferred category, language and both links.