From d3b8e91ed93b0bfa13ad4ae3f9661dd45e4f3aa7 Mon Sep 17 00:00:00 2001 From: Mitchell Hashimoto Date: Tue, 3 Feb 2026 19:48:08 -0800 Subject: [PATCH] add `td` extension to the files --- .github/{VOUCHED => VOUCHED.td} | 0 .github/vouch/README.md | 12 +++++++---- .../{VOUCHED.example => VOUCHED.example.td} | 0 .github/vouch/vouch.nu | 20 +++++++++---------- 4 files changed, 18 insertions(+), 14 deletions(-) rename .github/{VOUCHED => VOUCHED.td} (100%) rename .github/vouch/{VOUCHED.example => VOUCHED.example.td} (100%) diff --git a/.github/VOUCHED b/.github/VOUCHED.td similarity index 100% rename from .github/VOUCHED rename to .github/VOUCHED.td diff --git a/.github/vouch/README.md b/.github/vouch/README.md index 754d895ec..a3f0329f3 100644 --- a/.github/vouch/README.md +++ b/.github/vouch/README.md @@ -48,9 +48,9 @@ The only requirement is [Nu](https://www.nushell.sh/). ### VOUCHED File -See [VOUCHED.example](VOUCHED.example) for the file format. The file is -looked up at `VOUCHED` or `.github/VOUCHED` by default. Create an -empty `VOUCHED` file. +See [VOUCHED.example.td](VOUCHED.example.td) for the file format. The file is +looked up at `VOUCHED.td` or `.github/VOUCHED.td` by default. Create an +empty `VOUCHED.td` file. Overview: @@ -61,7 +61,11 @@ platform:username -platform:denounced-user reason for denouncement ``` -The platform prefix (e.g., `github:`) specifies where the user identity comes from. Usernames without a platform prefix are also supported for backwards compatibility. +The platform prefix (e.g., `github:`) specifies where the user identity +comes from. The platform prefix is optional, since most projects exist +within the realm of a single platform. All the commands below take +`--default-platform` flags to specify what platform to assume when none +is present. ### Commands diff --git a/.github/vouch/VOUCHED.example b/.github/vouch/VOUCHED.example.td similarity index 100% rename from .github/vouch/VOUCHED.example rename to .github/vouch/VOUCHED.example.td diff --git a/.github/vouch/vouch.nu b/.github/vouch/vouch.nu index 6dc67e73d..eea60d5fe 100755 --- a/.github/vouch/vouch.nu +++ b/.github/vouch/vouch.nu @@ -40,7 +40,7 @@ export def main [] { export def "main add" [ username: string, # Username to vouch for (supports platform:user format) --default-platform: string = "", # Assumed platform for entries without explicit platform - --vouched-file: string, # Path to vouched contributors file (default: VOUCHED or .github/VOUCHED) + --vouched-file: string, # Path to vouched contributors file (default: VOUCHED.td or .github/VOUCHED.td) --write (-w), # Write the file in-place (default: output to stdout) ] { let file = if ($vouched_file | is-empty) { @@ -94,7 +94,7 @@ export def "main gh-manage-by-issue" [ issue_id: int, # GitHub issue number comment_id: int, # GitHub comment ID --repo (-R): string = "ghostty-org/ghostty", # Repository in "owner/repo" format - --vouched-file: string, # Path to vouched contributors file (default: VOUCHED or .github/VOUCHED) + --vouched-file: string, # Path to vouched contributors file (default: VOUCHED.td or .github/VOUCHED.td) --allow-vouch = true, # Enable "lgtm" handling to vouch for contributors --allow-denounce = true, # Enable "denounce" handling to denounce users --dry-run = true, # Print what would happen without making changes @@ -239,7 +239,7 @@ export def "main denounce" [ username: string, # Username to denounce (supports platform:user format) --default-platform: string = "", # Assumed platform for entries without explicit platform --reason: string, # Optional reason for denouncement - --vouched-file: string, # Path to vouched contributors file (default: VOUCHED or .github/VOUCHED) + --vouched-file: string, # Path to vouched contributors file (default: VOUCHED.td or .github/VOUCHED.td) --write (-w), # Write the file in-place (default: output to stdout) ] { let file = if ($vouched_file | is-empty) { @@ -283,7 +283,7 @@ export def "main denounce" [ export def "main check" [ username: string, # Username to check (supports platform:user format) --default-platform: string = "", # Assumed platform for entries without explicit platform - --vouched-file: string, # Path to vouched contributors file (default: VOUCHED or .github/VOUCHED) + --vouched-file: string, # Path to vouched contributors file (default: VOUCHED.td or .github/VOUCHED.td) ] { let lines = try { open-vouched-file $vouched_file @@ -326,7 +326,7 @@ export def "main check" [ export def "main gh-check-pr" [ pr_number: int, # GitHub pull request number --repo (-R): string = "ghostty-org/ghostty", # Repository in "owner/repo" format - --vouched-file: string = ".github/VOUCHED", # Path to vouched contributors file + --vouched-file: string = ".github/VOUCHED.td", # Path to vouched contributors file --require-vouch = true, # Require users to be vouched; if false, only denounced users are blocked --auto-close = false, # Close unvouched PRs with a comment --dry-run = true, # Print what would happen without making changes @@ -565,13 +565,13 @@ export def remove-user [ # Find the default VOUCHED file by checking common locations. # -# Checks for VOUCHED in the current directory first, then .github/VOUCHED. +# Checks for VOUCHED.td in the current directory first, then .github/VOUCHED.td. # Returns null if neither exists. def default-vouched-file [] { - if ("VOUCHED" | path exists) { - "VOUCHED" - } else if (".github/VOUCHED" | path exists) { - ".github/VOUCHED" + if ("VOUCHED.td" | path exists) { + "VOUCHED.td" + } else if (".github/VOUCHED.td" | path exists) { + ".github/VOUCHED.td" } else { null }