diff --git a/scripts/release.py b/scripts/release.py index 11f374e9f20..7a35007207e 100755 --- a/scripts/release.py +++ b/scripts/release.py @@ -1857,6 +1857,7 @@ AUTHOR_MAP = { "poli.koltsova@gmail.com": "wnuuee1", # commit 9fd2b2cb PR author "yosapol@jitrak.dev": "Eji4h", # direct email match "kiljadn@gmail.com": "designnotdrum", # PR #56480 salvage (toolset static-inference fix) + "lavya@loom.local": "LavyaTandel", # PR #57893 salvage local git identity (envelope-layout cache markers on tool/empty-assistant messages; #57845) }