Singapore: Revised Date for Vesak Day in 2023

[mborsetti]

Changed Vesak Day from 3 June 2023 to 2 June 2023 as per https://www.mom.gov.sg/newsroom/press-releases/2022/0929-revised-date-for-vesak-day-2023:

Following the Singapore Buddhist Federation’s announcement on the revised date for Vesak Day next year, the Ministry of Manpower (MOM) has gazetted 2 June 2023 as the new public holiday for Vesak Day.

Singapore Buddhist Federation announcement (🤦):

The Singapore Buddhist Federation earlier advised the Ministry of Manpower that Vesak Day will fall on 3 June 2023. This was determined in reference to the Standard Chinese-Western Multi-Year Almanac.

Upon receiving feedback from members of the public, we have verified the date against other Chinese almanacs and have established that based on the Mahayana tradition, the date of Vesak Day 2023 shall fall on June 2, 2023 which coincides with the 15th day of the Fourth Lunar Month.

We are sorry for any inconvenience caused and will in future conduct additional checks and verifications to prevent similar occurrence.

Also fixed code to remove the assignment of objects of different type to the same variable name, which mypy in pre-commit picked up, by restricting the reuse of a variable name to objects of the same type.

[coveralls]

Coverage decreased (-0.03%) to 99.577% when pulling ae13099224cc732835a3735a976bb7e5ad8bec05 on mborsetti:sg2023v2 into be4cd58c46ed19263e985b0bf473488d2ec65b19 on dr-prodigy:beta.

[mborsetti]

@dr-prodigy anything more needed here? It (started as) a simple date fix due to the announcement referenced in the first post.

[dr-prodigy]

Hey Mike @mborsetti nope, not really anything more .. I'm just been very late at receiving updates in these weeks! Now merged, thx 👍