Updated land.py to do merging after push was successful#292
Merged
ezyang merged 1 commit intoezyang:masterfrom May 20, 2025
Merged
Updated land.py to do merging after push was successful#292ezyang merged 1 commit intoezyang:masterfrom
ezyang merged 1 commit intoezyang:masterfrom