index.md 1.48 KB
Newer Older
1
2
3
4
5
6
---
date: 2017-06-07
title: Community
---

---
7
8
9
10
11
12
13
14
15
### Social networks
Follow OpenCert and the AMASS Open Platform on:

* [Twitter](https://twitter.com/@AMASSproject)
* [LinkedIn Group](https://www.linkedin.com/groups/3807241/)

View more videos on the [youtube channel](https://www.youtube.com/channel/UCw_D0l5sDgysEphi6tzzDyw)

### Get in touch with the team
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

Learn about OpenCert, join the community, connect with other CHESS users, get support and service:

* [Forum](https://polarsys.org/forums/): Consult the OpenCert forum and ask questions about the tool. This also the forum about CHESS and other Polarsys projects.
* [Polarsys Wiki](https://wiki.polarsys.org/Main_Page): Wiki providing additional resources about OpenCert and Polarsys.
* [Report a bug](https://bugs.polarsys.org/enter_bug.cgi?product=Opencert): Bugzilla for bug reporting and enhancement requests.
* [Mailing-list](https://dev.polarsys.org/mailman/listinfo/opencert-dev): Subscribe to the developers mailing-list to be warned about technical announcements.
* [Polarsys project page](https://www.polarsys.org/projects/polarsys.opencert): information about the project development.

### Source Repositories

You can use the code from these repositories to experiment, test, build, create patches, issue pull requests, etc. This project uses Gerrit Code Review; please see [contributing via Gerrit](http://wiki.eclipse.org/Gerrit).

Clone: https://git.polarsys.org/r/opencert/opencert

Browse: http://git.polarsys.org/c/opencert/opencert.git