From 4fddc5b8bc2f920a2e247f1d40689b5a36d6316c Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Fri, 2 May 2014 17:21:18 -0400 Subject: [PATCH] chore(travis): use lean-build@googlegroups --- .travis.osx.yml | 2 +- .travis.windows.yml | 2 +- .travis.yml | 2 +- doc/make/travis.md | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/.travis.osx.yml b/.travis.osx.yml index 9e3d103db..17b5c60f9 100644 --- a/.travis.osx.yml +++ b/.travis.osx.yml @@ -119,6 +119,6 @@ install: notifications: email: recipients: - - leansmt-dev@googlegroups.com + - lean-build@googlegroups.com on_success: always on_failure: always diff --git a/.travis.windows.yml b/.travis.windows.yml index 8a834e90f..a6b3e68d9 100644 --- a/.travis.windows.yml +++ b/.travis.windows.yml @@ -80,6 +80,6 @@ after_script: notifications: email: recipients: - - leansmt-dev@googlegroups.com + - lean-build@googlegroups.com on_success: always on_failure: always diff --git a/.travis.yml b/.travis.yml index 3441dda24..e6ccab0cd 100644 --- a/.travis.yml +++ b/.travis.yml @@ -312,6 +312,6 @@ after_script: notifications: email: recipients: - - leansmt-dev@googlegroups.com + - lean-build@googlegroups.com on_success: always on_failure: always diff --git a/doc/make/travis.md b/doc/make/travis.md index 040c54cd4..a91982d58 100644 --- a/doc/make/travis.md +++ b/doc/make/travis.md @@ -14,6 +14,6 @@ We just have to go to our fork page at github; select `settings` (it is an icon select `Service Hooks`; select `Travis`; and provide the required information. We must have an account at Travis. -By default, build reports are sent to the [leansmt-dev](https://groups.google.com/forum/#!forum/leansmt-dev) Google group. +By default, build reports are sent to the [lean-build](https://groups.google.com/forum/#!forum/lean-build) Google group. You can change that by modifying the file [.travis.yml](../../.travis.yml) in the Lean root directory. The file contains a `recipients:` entry.