Reverse time zone conversion in Trunc()/Extract() database functions. Description
Reverse time zone conversion in Trunc()/Extract() database functions. Description: a task in Lego-RL-SWE-Bench-Verified (Harbor dataset). When using a time zone of "Etc/GMT-10" (or similar) for a Trunc class tzinfo, it appears there's a different behavior as of Django 3.2 in the resulting database…
The task
When using a time zone of "Etc/GMT-10" (or similar) for a Trunc class tzinfo, it appears there's a different behavior as of Django 3.2 in the resulting database query. I think it's due to a change in the return value of timezone._get_timezone_name() that's called by the TimezoneMixin. On Django 3.1 the TimezoneMixin…
Part of Lego-X/Lego-RL-SWE-Bench-Verified.