tools/repo-manager
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Update ReadMe.md

Browse Source
This commit is contained in:
tangent
2026-08-16 18:56:27 -06:00
parent 9b7c9b86f5
commit c45a147e84
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
ReadMe.md
+1
View File
@@ -37,6 +37,7 @@ The idea is to make a tree based on the *source* of a repo,
with special keys for what to do with that source, with special keys for what to do with that source,
and optional `target` URLs for mirroring. and optional `target` URLs for mirroring.
- `description`: Short description typically displayed in lists on hosting services. - `description`: Short description typically displayed in lists on hosting services.
- `issues`: Like `redundant` below, this is a temporary tag for helping me sort things out.
- `private`: If a repo needs to be created, it will be private only if this is true. - `private`: If a repo needs to be created, it will be private only if this is true.
- `redundant`: This repo really doesn't need to exist, but hasn't been removed yet. (This is essentially for my own notes.) - `redundant`: This repo really doesn't need to exist, but hasn't been removed yet. (This is essentially for my own notes.)
- `target`: A repo URL to force-push to for mirroring. - `target`: A repo URL to force-push to for mirroring.