diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index fc450fc07fb44e522c094a07c764ca99d1f98168..10335d905a398f49b3f7b22c8e1b4acf48381ebe 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -7,7 +7,7 @@ To contribute code, you need an
 "Register" tab).  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
-[Iris git repository](https://gitlab.mpi-sws.org/FP/iris-coq/), make your
+[Iris git repository](https://gitlab.mpi-sws.org/iris/iris/), make your
 changes in your fork, and create a merge request.
 
 Please do *not* use the master branch of your fork, that might confuse CI.  Use
diff --git a/README.md b/README.md
index 35a8e29a7ce035d9d87210fa872241f06ba06579..dce334c7f2b253a0ff97c3d8b9bfb84fbd3b89d6 100644
--- a/README.md
+++ b/README.md
@@ -22,9 +22,9 @@ This version is known to compile with:
  - A development version of [std++](https://gitlab.mpi-sws.org/iris/stdpp)
 
 For a version compatible with Coq 8.6, have a look at the
-[iris-3.1 branch](https://gitlab.mpi-sws.org/FP/iris-coq/tree/iris-3.1).
+[iris-3.1 branch](https://gitlab.mpi-sws.org/iris/iris/tree/iris-3.1).
 If you need to work with Coq 8.5, please check out the
-[iris-3.0 branch](https://gitlab.mpi-sws.org/FP/iris-coq/tree/iris-3.0).
+[iris-3.0 branch](https://gitlab.mpi-sws.org/iris/iris/tree/iris-3.0).
 
 ### Working *with* Iris
 
@@ -123,6 +123,6 @@ that should be compatible with this version:
   [MPI-SWS GitLab](https://gitlab.mpi-sws.org/users/sign_in) (use the "Register"
   tab).
 * If you want to report a bug, please use the
-  [issue tracker](https://gitlab.mpi-sws.org/FP/iris-coq/issues), which also
+  [issue tracker](https://gitlab.mpi-sws.org/iris/iris/issues), which also
   requires an MPI-SWS GitLab account.
 * To contribute to Iris itself, see the [contribution guide](CONTRIBUTING.md).
diff --git a/opam b/opam
index 8d79131fab59386878b59d5c206eb226baadd18a..ac77ba74b2176de63c03833d4b3cbdd306ab9e37 100644
--- a/opam
+++ b/opam
@@ -3,9 +3,9 @@ name: "coq-iris"
 maintainer: "Ralf Jung <jung@mpi-sws.org>"
 authors: "The Iris Team"
 homepage: "http://iris-project.org/"
-bug-reports: "https://gitlab.mpi-sws.org/FP/iris-coq/issues"
+bug-reports: "https://gitlab.mpi-sws.org/iris/iris/issues"
 license: "BSD"
-dev-repo: "https://gitlab.mpi-sws.org/FP/iris-coq.git"
+dev-repo: "https://gitlab.mpi-sws.org/iris/iris.git"
 build: [make "-j%{jobs}%"]
 install: [make "install"]
 remove: ["rm" "-rf" "%{lib}%/coq/user-contrib/iris"]