summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--README.rst7
-rw-r--r--context_mirror_bot.ml12
2 files changed, 9 insertions, 10 deletions
diff --git a/README.rst b/README.rst
index afe5272..311be6b 100644
--- a/README.rst
+++ b/README.rst
@@ -102,8 +102,7 @@ server.
Locations
-----------------------------------------------------------------------
-The author’s mirror resides in its own `repo at BitBucket`_ and is
-committed to by a `dedicated user`_.
+The author’s mirror resides in its own `repo at Gitlab`_.
-----------------------------------------------------------------------
About
@@ -126,8 +125,8 @@ under the name ``COPYING``.
.. _first mirror: https://gitorious.org/context
.. _discontinued: http://www.ntg.nl/pipermail/ntg-context/2014/077380.html
.. _Context Garden: http://git.contextgarden.net/context/context
-.. _repo at Bitbucket: https://bitbucket.org/phg/context-mirror
-.. _dedicated user: https://bitbucket.org/context-mirror-bot
+.. _repo at Gitlab: https://gitlab.com/phgsng/context-mirror
+.. _dedicated user: https://t.b.d/context-mirror-bot
.. _Ocaml: http://ocaml.org/
.. _Opam: http://opam.ocamlpro.com/
.. _Omake: http://omake.metaprl.org/index.html
diff --git a/context_mirror_bot.ml b/context_mirror_bot.ml
index a2dec76..1953aeb 100644
--- a/context_mirror_bot.ml
+++ b/context_mirror_bot.ml
@@ -3,7 +3,7 @@
* context-mirror-bot -- Grab the official Context source code from the
* official release and import it into a git repository that is hosted
* online.
- * Copyright (C) 2014 Philipp Gesang
+ * Copyright (C) 2014–2018 Philipp Gesang
*
* This program is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
@@ -20,8 +20,8 @@
*
******************************************************************************
*
- * Contact: Philipp Gesang <phg42.2a@gmail.com>
- * Bitbucket: https://bitbucket.org/phg/context-mirror
+ * Contact: Philipp Gesang <phg@phi-gamma.net>
+ * Repo: https://gitlab.com/phgsng/context-mirror
*
*****************************************************************************)
@@ -74,7 +74,7 @@ let sources =
(* owner and contact details for the user agent string *)
let bot_owner = "Philipp Gesang"
-let owner_contact = "phg42.2a@gmail.com"
+let owner_contact = "phg@phi-gamma.net"
(*let repo_root = "/home/mirror/mirror"*)
let repo_root = "/home/phg/src/mirror"
@@ -101,7 +101,7 @@ let gitconfig = Printf.sprintf "\
default = matching
[user]
- email = phg42.2a@gmail.com
+ email = phg@phi-gamma.net
name = Context Git Mirror Bot
[bitbucket]
@@ -140,7 +140,7 @@ let gitconfig = Printf.sprintf "\
let ssh_wrapper_script = Printf.sprintf "\
#!/bin/sh
##
-## This file was crated automatically. Changes will be overwritten
+## This file was created automatically. Changes will be overwritten
## with the next invocation of the mirror bot.
##