Glossaria.net

Glossary GitHub / Term

pinned repository

A repository that a user has decided to display prominently on their profile.

Permanent link pinned repository - Creation date 2023-08-02


< personal account Glossary / GitHub pre-receive hooks >