GitHub cambia “master” in “main”
Da oggi, 1 ottobre 2020, la branch principale di tutte le nuove repository create su GitHub non si chiamerà più master ma bensì main. Questo per dimostrare l’impegno che l’azienda […]
Da oggi, 1 ottobre 2020, la branch principale di tutte le nuove repository create su GitHub non si chiamerà più master ma bensì main. Questo per dimostrare l’impegno che l’azienda […]
Ormai le Emoji si sono evolute fino a diventare un nuovo linguaggio per comunicare ed esprimere sentimenti. Le persone, infatti, usano le emoji anche troppo spesso nelle chat al posto […]
Ieri, entrando su GitHub, ho notato un nuovo Badge sul mio profilo, subito mi sono chiesto cosa fosse, e dopo aver fatto qualche click in giro mi sono ricordato del […]