three kinds of git repo we use - benclifford/text GitHub Wiki

Private projects

Forked public projects where we are putting our own private stuff in

Forked public projects where we are putting in our own bugfixes without needing to be private, and ideally in a form that can go upstream to remove divergence.