From bfa89673ec000e24bc2d1434f3d3aca1b66555f4 Mon Sep 17 00:00:00 2001 From: Ralf Jung <jung@mpi-sws.org> Date: Thu, 14 Mar 2019 15:34:58 +0100 Subject: [PATCH] move the (very brief) contribution guide to the README --- CONTRIBUTING.md | 14 -------------- README.md | 15 +++++++++++++++ 2 files changed, 15 insertions(+), 14 deletions(-) delete mode 100644 CONTRIBUTING.md diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md deleted file mode 100644 index d1a2afb4..00000000 --- a/CONTRIBUTING.md +++ /dev/null @@ -1,14 +0,0 @@ -# CONTRIBUTING TO THE COQ-STD++ DEVELOPMENT - -If you want to report a bug, please use the -[issue tracker](https://gitlab.mpi-sws.org/iris/stdpp/issues). You will have to -create an account at the -[MPI-SWS GitLab](https://gitlab.mpi-sws.org/users/sign_in) (use the "Register" -tab). - -To contribute code, please send your MPI-SWS GitLab username to -[Ralf Jung](https://gitlab.mpi-sws.org/jung) to enable personal projects for -your account. Then you can fork the -[Coq-std++ git repository](https://gitlab.mpi-sws.org/iris/stdpp), make your -changes in your fork, and create a merge request. - diff --git a/README.md b/README.md index a286612e..fd692d30 100644 --- a/README.md +++ b/README.md @@ -64,3 +64,18 @@ To obtain a development version, add the Iris opam repository: Run `make -jN` in this directory to build the library, where `N` is the number of your CPU cores. Then run `make install` to install the library. + +## Contributing to std++ + +If you want to report a bug, please use the +[issue tracker](https://gitlab.mpi-sws.org/iris/stdpp/issues). You will have to +create an account at the +[MPI-SWS GitLab](https://gitlab.mpi-sws.org/users/sign_in) (use the "Register" +tab). + +To contribute code, please send your MPI-SWS GitLab username to +[Ralf Jung](https://gitlab.mpi-sws.org/jung) to enable personal projects for +your account. Then you can fork the +[Coq-std++ git repository](https://gitlab.mpi-sws.org/iris/stdpp), make your +changes in your fork, and create a merge request. + -- GitLab