Hacker News new | ask | show | jobs
by gruez 2126 days ago
AFAIK they started using those names before the git trademark was registered