Devuan bug report logs - #613
Remove offending domain from mirrors

Package: devuan-www; Maintainer for devuan-www is Devuan Developers <devuan-dev@lists.dyne.org>;

Reported by: Bernard Rosset <bernard+devuan@rosset.net>

Date: Sat, 2 Oct 2021 15:52:02 UTC

Severity: normal

Reply or subscribe to this bug.

Toggle useless messages

View this report as an mbox folder, status mbox, maintainer mbox


Report forwarded to devuan-bugs@lists.dyne.org, Devuan Developers <devuan-dev@lists.dyne.org>:
bug#613; Package devuan-www. (Sat, 02 Oct 2021 15:52:02 GMT) (full text, mbox, link).


Acknowledgement sent to Bernard Rosset <bernard+devuan@rosset.net>:
New bug report received and forwarded. Copy sent to Devuan Developers <devuan-dev@lists.dyne.org>. (Sat, 02 Oct 2021 15:52:04 GMT) (full text, mbox, link).


Message #5 received at submit@bugs.devuan.org (full text, mbox, reply):

From: Bernard Rosset <bernard+devuan@rosset.net>
To: Devuan Bugs Report <submit@bugs.devuan.org>
Subject: Remove offending domain from mirrors
Date: Sat, 2 Oct 2021 17:46:29 +0200
Package: devuan-www
thanks

I submitted 2 distinct PRs to envision removing the offending domain, as 
discussed during the 2021-09-30 meeting:
- https://git.devuan.org/devuan/www.devuan.org/pulls/15
- https://git.devuan.org/devuan/www.devuan.org/pulls/16

The reason I made specific PRs is because I feel we handle them differently.
To me, it doesn't matter if the domain is hidden behind in the 
deb.devuan.org pool: such domains shouldn't be used by the project 
whatsoever... but other people might (will?) see things differently and 
separate both types.
This separation has been made to avoid the baby being thrown withthe 
bathwater if such an opinion was to prevail.

Bernard (Beer) Rosset
https://rosset.net/

Send a report that this bug log contains spam.


Devuan BTS -- Powered by Debian bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson,
2005-2017 Don Armstrong, and many other contributors.

Devuan Bugs Owner <owner@bugs.devuan.org>.
Last modified: Fri Apr 19 03:31:11 2024;