fix proxy-apps but not the new smpi faulty test

[simgrid.git] / README.md

diff --git a/README.md b/README.md
index 1a9091edac785bb9d72ddb980db049fc7533add6..b37f2f53ddda5753c51de1e5cd63970b37104935 100644 (file)
--- a/README.md
+++ b/README.md
@@ -1,6 +1,5 @@
 [![PRs Welcome](https://img.shields.io/badge/PRs-welcome-brightgreen.svg)](http://makeapullrequest.com)
 [![Build Status](https://ci.inria.fr/simgrid/buildStatus/icon?job=SimGrid)](https://ci.inria.fr/simgrid/job/SimGrid/)
 [![PRs Welcome](https://img.shields.io/badge/PRs-welcome-brightgreen.svg)](http://makeapullrequest.com)
 [![Build Status](https://ci.inria.fr/simgrid/buildStatus/icon?job=SimGrid)](https://ci.inria.fr/simgrid/job/SimGrid/)

-[![Travis Status](https://img.shields.io/travis/simgrid/simgrid/master.svg?logo=travis)](https://travis-ci.org/simgrid/simgrid)

 [![AppVeyor Status](https://ci.appveyor.com/api/projects/status/gvcssh340fwtoc35?svg=true)](https://ci.appveyor.com/project/mquinson/simgrid)
 [![SonarCloud Status](https://sonarcloud.io/api/project_badges/measure?project=simgrid_simgrid&metric=alert_status)](https://sonarcloud.io/dashboard/?id=simgrid_simgrid)
 [![Doc](https://readthedocs.org/projects/pip/badge/?version=stable)](https://simgrid.org/doc/latest/)
 [![AppVeyor Status](https://ci.appveyor.com/api/projects/status/gvcssh340fwtoc35?svg=true)](https://ci.appveyor.com/project/mquinson/simgrid)
 [![SonarCloud Status](https://sonarcloud.io/api/project_badges/measure?project=simgrid_simgrid&metric=alert_status)](https://sonarcloud.io/dashboard/?id=simgrid_simgrid)
 [![Doc](https://readthedocs.org/projects/pip/badge/?version=stable)](https://simgrid.org/doc/latest/)


@@ -29,9 +28,11 @@ make install
 [local version](docs/source).
 
 You can also ask your questions, or simply discuss with other users on 
 [local version](docs/source).
 
 You can also ask your questions, or simply discuss with other users on 

-to the [user mailing list](http://lists.gforge.inria.fr/mailman/listinfo/simgrid-user)
+to the [SimGrid mattermost](https://framateam.org/simgrid/channels/town-square)

 or on the #simgrid IRC channel of the oftc network.
 
 or on the #simgrid IRC channel of the oftc network.
 

+Last, the main development of SimGrid is done on [Framagit](https://framagit.org/simgrid/simgrid/),
+but we also maintain a [GitHub mirror](https://github.com/simgrid/simgrid/) and an [Inria GitLab mirror](https://gitlab.inria.fr/simgrid/simgrid), 

 
 Thanks for using our software. Please do great things with it and tell
 the world about it. Tell us, too, because we love to have positive
 
 Thanks for using our software. Please do great things with it and tell
 the world about it. Tell us, too, because we love to have positive