> On Apr 27, 2022, at 8:58 PM, Mario Carneiro <[email protected]> wrote:
>
> 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.
Thanks! Good call.
> 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
Agreed. I've done that conversion before, it's not too hard.
> * 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.
--- David A. Wheeler
--
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/C8A1E67D-AC7B-4793-B21F-A8AA44F31F1B%40dwheeler.com.
