diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -1,15 +1,15 @@
 The Archive of Formal Proofs
 ============================
 
 This is the mercurial repository for the [Archive of Formal Proofs][1] (AFP).
 
 The main development version of the AFP repository is hosted at
-<https://bitbucket.org/isa-afp/afp-devel>.
+<https://foss.heptapod.net/isa-afp/afp-devel>.
 
 If you are an AFP author or Isabelle maintainer, you can get push access to
 this repository by sending a request, including your bitbucket login, to
 `afp-submit at in.tum.de`
 
 Guidelines for maintaining entries can be found in the `doc/` directory.
 
 [1]: http://isa-afp.org