Il polling RSS può richiedere 20 minuti o più per elaborare un feed

Merged significa che le modifiche sono in main. Di solito, i forum non monitorano il ramo main; al contrario, monitorano latest. Questo significa che, dopo la fusione, è comunque necessario attendere che i test automatici vengano eseguiti e superati.

Quando si guarda Commits · discourse/discourse · GitHub, si può vedere che questo è appena successo con i commit di zogstrip (c’è un segno di spunta verde, mentre il commit sopra ha ancora il punto marrone).

E ora è possibile vedere anche i commit guardando il ramo latest: Commits · discourse/discourse · GitHub

Quindi, se si sta monitorando latest, come fanno di default i forum, è possibile aggiornare ora per recuperare quei commit.

2 Mi Piace