diff options
| -rw-r--r-- | README.rst | 7 | ||||
| -rw-r--r-- | context_mirror_bot.ml | 12 |
2 files changed, 9 insertions, 10 deletions
@@ -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. ## |