From 61575c0f799ec2a979d222000dda6f980d232985 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Sat, 3 Jun 2023 15:34:42 +0200 Subject: [PATCH] git.robur.io is now git.robur.coop --- lib/views.ml | 2 +- packaging/FreeBSD/MANIFEST | 2 +- packaging/debian/control | 6 +++--- packaging/debian/copyright | 2 +- 4 files changed, 6 insertions(+), 6 deletions(-) diff --git a/lib/views.ml b/lib/views.ml index 1979273..2afd5bd 100644 --- a/lib/views.ml +++ b/lib/views.ml @@ -276,7 +276,7 @@ A persistent link to the latest successful build is available as `/job/*jobname*/build/latest/`. Each build can be reproduced with [orb](https://github.com/roburio/orb/). The builds are scheduled and executed daily by [builder](https://github.com/roburio/builder/). This web interface is -[builder-web](https://git.robur.io/robur/builder-web/). Read further information +[builder-web](https://git.robur.coop/robur/builder-web/). Read further information [on our project page](https://robur.coop/Projects/Reproducible_builds). This work has been funded by the European Union under the [NGI Pointer](https://pointer.ngi.eu) program. Contact team ATrobur.coop if you diff --git a/packaging/FreeBSD/MANIFEST b/packaging/FreeBSD/MANIFEST index 59fef86..9ae7a7a 100644 --- a/packaging/FreeBSD/MANIFEST +++ b/packaging/FreeBSD/MANIFEST @@ -2,7 +2,7 @@ name: builder-web version: %%VERSION_NUM%% origin: local/builder-web comment: Builder web service -www: https://git.robur.io/robur/builder-web +www: https://git.robur.coop/robur/builder-web maintainer: Robur prefix: /usr/local licenselogic: single diff --git a/packaging/debian/control b/packaging/debian/control index d850d74..1d159f3 100644 --- a/packaging/debian/control +++ b/packaging/debian/control @@ -4,9 +4,9 @@ Section: unknown Priority: optional Maintainer: Robur Team Standards-Version: 4.4.1 -Homepage: https://git.robur.io/robur/builder-web -Vcs-Browser: https://git.robur.io/robur/builder-web -Vcs-Git: https://git.robur.io/robur/builder-web.git +Homepage: https://git.robur.coop/robur/builder-web +Vcs-Browser: https://git.robur.coop/robur/builder-web +Vcs-Git: https://git.robur.coop/robur/builder-web.git Architecture: all Depends: libgmp10, libsqlite3-0, libev4, opam-graph, modulectomy Description: Web service for storing and presenting builds. diff --git a/packaging/debian/copyright b/packaging/debian/copyright index 9bcdd38..0eacb49 100644 --- a/packaging/debian/copyright +++ b/packaging/debian/copyright @@ -1,7 +1,7 @@ Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Upstream-Name: builder-web Upstream-Contact: Robur Team -Source: https://git.robur.io/robur/builder-web +Source: https://git.robur.coop/robur/builder-web Files: * Copyright: "Reynir Björnsson " "Hannes Mehnert "