From ff7258bc52fa50159789dd714d68c59f12f44d46 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Tue, 7 Oct 2025 03:44:26 +0000 Subject: [PATCH] Restore jwt.api file that was accidentally deleted Co-authored-by: kevwan <1918356+kevwan@users.noreply.github.com> --- tools/goctl/api/gogen/jwt.api | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 tools/goctl/api/gogen/jwt.api diff --git a/tools/goctl/api/gogen/jwt.api b/tools/goctl/api/gogen/jwt.api new file mode 100644 index 000000000..a8763c0d4 --- /dev/null +++ b/tools/goctl/api/gogen/jwt.api @@ -0,0 +1,17 @@ +type Request { + Name string `path:"name,options=you|me"` +} + +type Response { + Message string `json:"message"` +} + +@server( + jwt: Auth + jwtTransition: Trans + middleware: TokenValidate +) +service A-api { + @handler GreetHandler + get /greet/from/:name(Request) returns (Response) +}