add CONTRIBUTING and AUTHORS files

AUTHORS.md

+# Neos Authors
+
+## Steering Comittee
+
+- Michel Bergmann / INRIA
+- Angelo Iollo / UB (Bordeaux University)
+
+## Scientific Contributors (Alphabetical Order)
+
+- Michel Bergmann / INRIA
+- Florian Bernard / INRIA
+- Antoine Fondanèche / INRIA
+- Angelo Iollo / UB (Bordeaux University)
+
+## Software Contributors (Alphabetical Order)
+
+- Philippe Depouilly / CNRS
+- Laurent Facq / CNRS
+- Antoine Gérard / INRIA
+- Matias Hastaran / INRIA
+- Florent Pruvost / INRIA

CONTRIBUTING.md

+# Contributing to `Neos`
+
+Create an account on https://gitlab.inria.fr.
+
+Fork the project by clicking on the `Fork` item on the webpage
+https://gitlab.inria.fr/memphis/neos. You must now have a copy of the
+project `neos` in your space. Clone the project.
+
+```
+git clone git@gitlab.inria.fr:<user>/neos.git
+```
+or
+```
+git clone https://gitlab.inria.fr/<user>/neos.git
+```
+
+From now on, we assume that you are in the directory `neos`.
+
+### Adding a contribution
+
+Eventually, you can create a branch where you put all your changes.
+
+Modify files. Add the files, commit them and push them.
+
+Records contain an array authors which contains concise name.
+
+### Sending a merge request
+
+Look for the icon `+`, click on it and select `New merge request`.
+
+Select the branch you want to merge to `memphis/neos`, and continue.
+
+Describe your changes and submit the request.
+
+## Keeping your fork up to date
+
+### Adding remote from original repository
+
+This must be done once.
+
+```
+git remote add upstream <what/the/way/you/want>memphis/neos.git
+```
+
+```
+git fetch upstream
+```
+
+### Uptading your fork
+
+Now, you can perform, at any time, an update of your fork.
+
+```
+git pull upstream master
+```
+
+## More about Gitlab
+
+Additional help can be found by following [Gitlab
+help](https://gitlab.inria.fr/help).

notes.org

@@ -12,24 +12,11 @@
 * Gitlab
 ** dépôt
   - https://gitlab.inria.fr/memphis/neos
-  - Dépôt privé
-  - Utilisateurs:
-| Nom      | Droit  |
-|----------+--------|
-| Michel   | Owner  |
-| Hervé    | Owner  |
-| Philippe | Master |
-| Florent  | Master |
-| Matias   | Master |
-| Laurent  | Guest  |
-| Antoine  | Guest  |
-| Floriant | Guest  |
 
 ** CI
   - Runner: neos-docker (ci.inria.fr)
-  - Il faut ajouter un (des) admin(s)
   - Image docker: hpclib/neos
-  - Doc du sed: https://gitlab.inria.fr/sed-bso/hpclib/blob/master/tuto/gitlab-ci-nojenkins.org
+  - Doc: https://gitlab.inria.fr/sed-bso/hpclib/blob/master/tuto/gitlab-ci-nojenkins.org
 *** Configuration CI
    Pipeline en 4 étapes:
     - Compilation de la lib
@@ -162,8 +149,3 @@ Et completer l'enum dans src/includes/common.hpp
 
 * Wrapper python
   Utilisation de Binder: https://github.com/RosettaCommons/binder
-
-* A faire:
-  - Ajouter des admins pour les VMs (sur ci)
-  - Abstraction pour le solver
-  - Tests