The context for this is, of course, the recent decision from Google to drop these holidays from their own calendar.

https://stefanbohacek.online/@stefan/113982104046458953

This is very much work in progress and will work best as a group effort.

Either contribute directly at https://github.com/stefanbohacek/holidays, or let me know which holidays should be added!

May Day
May 1st International Labor Strike

@stefan

I was actually thinking whether it makes sense to include labor-related holidays. I guess those might be under attack next, though.

Let me give this a bit more thought!

In most parts of the world workers honor May Day as a strike, not a holiday, which is different than the McCartian character it has received in the US as "Labor Day", to help erase the historic date from memory. So I don't know whether it should be listed as a holiday, which is not.

@stefan