What if someone want to execute a task at 00:00 for a specific timezone e.g. Europe/Rome? Actually Toolforge servers are in UTC and so the daylight saving time is not handled automatically and e.g. for Europe/Rome people have to manually switch from 22:00 to 23:00 and vice versa at CET/CEST.
It seems that certain versions of crontab supports a CRON_TZ environment variable that should fit the job (man 5 crontab).
What do you think about? Thank you!