Fetch school calendar from website

[jlcrodrigues]

Get the school year important dates from the website. The school calendar can be found here:

https://sigarra.up.pt/feup/en/web_base.gera_pagina?p_pagina=p%C3%A1gina%20est%C3%A1tica%20gen%C3%A9rica%20106

[thePeras]

@jlcrodrigues @andrefmrocha I was thinking about this. It is the right thing to fetch the data? The data isn't exactly dynamic. It almost static and just change year by year. Another aspect is that the page isn't updated I think. For example, "Dia da Universidade do Porto" was on 22march, and the page don't indicate that. Isn't more safe to create a json file holding the data and fetching to that file? And maybe cache it on the app.

The only disadvantage is that it's needed to create a file every year and for every faculty.

[SocksDevil]

That would imply manual maintenance every school year tho. We should avoid that kind of logic.

The way we fetch and store this can be done in ways that ensures that updates are always asynchronous. Wdyt?

[thePeras]

We also can have tools for the manual maintenance, like a script to generate the file and change it if needed.

I didn't understand the asynchronous updates

[SocksDevil]

We also can have tools for the manual maintenance, like a script to generate the file and change it if needed.

For that, why don't we just use the sqlite database? No need for scripting then

I didn't understand the asynchronous updates

Usually our updates are synchronous, in the sense that a person can trigger by clicking a button. There's no need for that here. We can verify periodically

[SocksDevil]

related to #462