Skip to content
Snippets Groups Projects
Commit bd692a8b authored by Ralf Jung's avatar Ralf Jung
Browse files

update CONTRIBUTING

parent 42894776
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 3 additions and 2 deletions
CONTRIBUTING.md
+ 3
− 2
View file @ bd692a8b
...@@ -10,7 +10,8 @@ to create an account at the ...@@ -10,7 +10,8 @@ to create an account at the
[MPI-SWS GitLab](https://gitlab.mpi-sws.org/users/sign_in) (use the "Register" [MPI-SWS GitLab](https://gitlab.mpi-sws.org/users/sign_in) (use the "Register"
tab). tab).
To contribute code, please contact [Ralf Jung](https://gitlab.mpi-sws.org/jung) To contribute code, please send your MPI-SWS GitLab username to
to enable personal projects for your account. Then you can fork the [Ralf Jung](https://gitlab.mpi-sws.org/jung) to enable personal projects for
your account. Then you can fork the
[Iris git repository](https://gitlab.mpi-sws.org/FP/iris-coq/), make your [Iris git repository](https://gitlab.mpi-sws.org/FP/iris-coq/), make your
changes in your fork, and create a merge request. changes in your fork, and create a merge request.
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment