We have not been using Travis CI for several years, but it still had OAuth access to the metamath repositories. For security reasons I've removed this access. This probably does not affect anyone's workflow, but:
* the metamath-book repo (which has not had a commit since mid 2020) still has Travis CI setup (which will no longer work) and should be migrated to github actions * There was an active web hook from set.mm to notify.travis-ci.org, which could potentially have been used by anyone who had a travis account to provide e.g. email notifications for activity on the repository. If so you will need to set this up by another means. Mario Carneiro -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/CAFXXJStqg%3DDBi_wa-R6vGYD9Rx7srjqt4xq0-YPJqkpZuZosuw%40mail.gmail.com.
