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

update links for account creation

parent b615df43
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
CONTRIBUTING.md
+ 4
− 5
View file @ 097b7b69
...@@ -24,16 +24,15 @@ followed by `make builddep`. ...@@ -24,16 +24,15 @@ followed by `make builddep`.
## How to submit a merge request ## How to submit a merge request
To contribute code, you need an [MPI-SWS GitLab account][account] (use the To contribute code, you need an MPI-SWS GitLab account as described on the
"Register" tab). Please send your MPI-SWS GitLab username to [Ralf Jung][jung] [chat page](https://iris-project.org/chat.html). Then you can fork the
to unlock forks for your account. Then you can fork the
[Iris git repository][iris], make your changes in your fork, and create a merge [Iris git repository][iris], make your changes in your fork, and create a merge
request. request. If forking fails with an error, please send your MPI-SWS GitLab
username to [Ralf Jung][jung] to unlock forks for your account.
Please do *not* use the master branch of your fork, that might confuse CI. Use Please do *not* use the master branch of your fork, that might confuse CI. Use
a feature branch instead. a feature branch instead.
[account]: https://gitlab.mpi-sws.org/users/sign_in
[jung]: https://gitlab.mpi-sws.org/jung [jung]: https://gitlab.mpi-sws.org/jung
[iris]: https://gitlab.mpi-sws.org/iris/iris [iris]: https://gitlab.mpi-sws.org/iris/iris
......
README.md
+ 5
− 7
View file @ 097b7b69
...@@ -155,14 +155,12 @@ Contacting the developers: ...@@ -155,14 +155,12 @@ Contacting the developers:
* Discussion about the Iris Coq development happens on the mailing list * Discussion about the Iris Coq development happens on the mailing list
[iris-club@lists.mpi-sws.org](https://lists.mpi-sws.org/listinfo/iris-club) [iris-club@lists.mpi-sws.org](https://lists.mpi-sws.org/listinfo/iris-club)
and in the [Iris Chat](https://mattermost.mpi-sws.org/iris). This is also the and in the [Iris Chat](https://iris-project.org/chat.html). This is also the
right place to ask questions. The chat requires an account at the right place to ask questions.
[MPI-SWS GitLab](https://gitlab.mpi-sws.org/users/sign_in): use the "Register"
tab, and then contact [Ralf](https://gitlab.mpi-sws.org/jung) to have your
account unlocked.
* If you want to report a bug, please use the * If you want to report a bug, please use the
[issue tracker](https://gitlab.mpi-sws.org/iris/iris/issues), which also [issue tracker](https://gitlab.mpi-sws.org/iris/iris/issues), which requires
requires an MPI-SWS GitLab account. an MPI-SWS GitLab account. The [chat page](https://iris-project.org/chat.html)
describes how to create such an account.
* To contribute to Iris itself, see the [contribution guide](CONTRIBUTING.md). * To contribute to Iris itself, see the [contribution guide](CONTRIBUTING.md).
Miscellaneous: Miscellaneous:
......
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