devel/gitid: Add new port
gitid is a terminal-based tool that helps developers manage multiple
Git identities easily through an interactive interface.
Description
Description
Details
Details
- Provenance
olgeni Authored on Jul 10 2025, 7:08 AM - Parents
- R11:fb40193150f3: databases/mongodb80: update to 8.0.11
- Branches
- Unknown
- Tags