Tout sur Travis CI

Heroku a fait changer les mots de passe de tous ses comptes d'utilisateurs. Cette décision a été prise un mois environ après que des jetons OAuth de l'entreprise aient été volés.