Update URL.

2030d90c · Robbert Krebbers · 3b9762bb · 2030d90c
Commit 2030d90c authored Mar 14, 2019 by Robbert Krebbers
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

CONTRIBUTING.md CONTRIBUTING.md +1 -1

No files found.
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -51,7 +51,7 @@ or the [examples].  To do this, check out the respective project and change its
 build-iris.dev:
  <<: *template
  variables:
-    OPAM_PINS: "coq version 8.9.0   coq-iris.dev git git+https://gitlab.mpi-sws.org/FP/iris-coq.git#yourname/feature"
+    OPAM_PINS: "coq version 8.9.0   coq-iris.dev git git+https://gitlab.mpi-sws.org/iris/iris.git#yourname/feature"
    TIMING_CONF: "coq-8.9.0"
  tags:
  - fp-timing