Update the Vervis instance domain name everywhere

INSTALL.md

@@ -40,7 +40,7 @@ can install it from a distro package too, e.g.:
 
 Clone the Vervis repo:
 
-    $ darcs clone https://dev.seek-together.space/s/fr33domlover/r/vervis
+    $ darcs clone https://dev.angeley.es/s/fr33domlover/r/vervis
     $ cd vervis
 
 Install GHC. Unless you prefer to use a distro package or PPA or some other
@@ -66,7 +66,7 @@ so until there are sane releases for everything, the instructions here aren't
 always up to date. Basically it works like this:
 
 - Those extra repos should be found at the
-  [Vervis project page](https://dev.seek-together.space/s/fr33domlover/p/vervis)
+  [Vervis project page](https://dev.angeley.es/s/fr33domlover/p/vervis)
 - If something is missing there, try my
   [Darcs Hub page](https://hub.darcs.net/fr33domlover)
 - Use `darcs clone` to grab the library source code

README.md

@@ -21,7 +21,7 @@ page styles (i.e. the whole UX and UI) are in a bad shape right now, so I want
 to write a few little guidelines to help you find your way until this situation
 improves.
 
-There is a Vervis instance running at <https://dev.seek-together.space>, and I
+There is a Vervis instance running at <https://dev.angeley.es>, and I
 store my code on it. Feel free to use it and try it, however do please treat it
 as a demo, as it's not a reliable stable instance for general use yet. If for
 any reason you do with to keep some code and tickets etc. on it for actual use,
@@ -50,7 +50,7 @@ time of writing, I'll try to keep this little tutorial up to date)!
 6. Add the following to your `~/.ssh/config` file, or create it if doesn't
    exist:
 
-        Host dev.seek-together.space
+        Host dev.angeley.es
             Port 5021
             ControlMaster no
             ForwardAgent no
@@ -68,25 +68,25 @@ SSH.
 
 **HTTPS clone:**
 
-    $ darcs clone https://dev.seek-together.space/s/fr33domlover/r/vervis
+    $ darcs clone https://dev.angeley.es/s/fr33domlover/r/vervis
 
 **SSH clone and push:**
 
 If your system username and Vervis username are identical:
 
-    $ darcs clone dev.seek-together.space:wistera
+    $ darcs clone dev.angeley.es:wistera
 
 If the repo is under another user:
 
-    $ darcs clone dev.seek-together.space:aviva/poems
+    $ darcs clone dev.angeley.es:aviva/poems
 
 If usernames are different:
 
-    $ darcs clone luke@dev.seek-together.space:wistera
+    $ darcs clone luke@dev.angeley.es:wistera
 
 If the repo is under another user:
 
-    $ darcs clone luke@dev.seek-together.space:aviva/poems
+    $ darcs clone luke@dev.angeley.es:aviva/poems
 
 A few more little notes:
 
@@ -226,7 +226,7 @@ control.
 
 The official download location is the Darcs repository:
 
-<https://dev.seek-together.space/s/fr33domlover/r/vervis>
+<https://dev.angeley.es/s/fr33domlover/r/vervis>
 
 There is a backup repo, not always up to date though, at:
 

clone-deps.sh

@@ -1,6 +1,6 @@
 #!/bin/sh
 
-VERVIS='https://dev.seek-together.space/s/fr33domlover/r'
+VERVIS='https://dev.angeley.es/s/fr33domlover/r'
 HUB='https://hub.darcs.net/fr33domlover'
 
 darcs clone $HUB/hit-graph

stack.yaml

@@ -18,7 +18,7 @@ packages:
   - '../persistent-email-address'
 # - '../yesod-auth-account'
   - location:
-     git: https://dev.seek-together.space/s/fr33domlover/r/yesod-auth-account
+     git: https://dev.angeley.es/s/fr33domlover/r/yesod-auth-account
      commit: d44b85e979b52baaba346b236250a4a84dbd5c7f
     extra-dep: true
   - '../yesod-mail-send'

templates/homepage.hamlet

@@ -19,7 +19,7 @@ $# <http://creativecommons.org/publicdomain/zero/1.0/>.
 
 <p>
   Vervis is being used for its own development:
-  <a href="https://dev.seek-together.space/s/fr33domlover/p/vervis">
+  <a href="https://dev.angeley.es/s/fr33domlover/p/vervis">
     Vervis project page
 
 <p>

vervis.cabal

@@ -9,8 +9,8 @@ description:
   Most of the source code is in the public domain using the CC0 public domain
   dedication, but the application as a whole has GPL dependencies, and is
   released under the AGPL 3 license.
-homepage:            https://dev.seek-together.space/s/fr33domlover/p/vervis
+homepage:            https://dev.angeley.es/s/fr33domlover/p/vervis
-bug-reports:         https://dev.seek-together.space/s/fr33domlover/p/vervis/t
+bug-reports:         https://dev.angeley.es/s/fr33domlover/p/vervis/t
 license:             OtherLicense
 license-file:        COPYING
 author:              fr33domlover
@@ -27,7 +27,7 @@ cabal-version:       >=1.10
 
 source-repository head
   type:                darcs
-  location:            https://dev.seek-together.space/s/fr33domlover/r/vervis
+  location:            https://dev.angeley.es/s/fr33domlover/r/vervis
 
 flag dev
   description: Turn on development settings, like auto-reload templates.