From f42513b7294b32697316e8613a1b43ef7c51fa6e Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 28 Jan 2019 08:58:25 +0100
Subject: [PATCH] update URL
---
CONTRIBUTING.md | 2 +-
README.md | 6 +++---
opam | 4 ++--
3 files changed, 6 insertions(+), 6 deletions(-)
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index fc450fc07..10335d905 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 35a8e29a7..dce334c7f 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 8d79131fa..ac77ba74b 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"]
--
GitLab