On Wed, Jun 07, 2023 at 07:18:46PM +0100, Richard W.M. Jones wrote: None from me. Distributed version control mirroring is easy enough for anyone else to set up if they really want to access a mirror through github instead of gitlab (perhaps becasuse of corporate firewall rules, for example); we don't have to keep our copy up on their behalf. -- Eric Blake, Principal Software Engineer Red Hat, Inc. +1-919-301-3266 Virtualization: qemu.org | libvirt.org

On Wed, Jun 07, 2023 at 07:18:46PM +0100, Richard W.M. Jones wrote: I'm happy to have a look at that again if interested. I'm not sure deleting is a good idea wrt forks https://docs.github.com/en/pull-requests/collaborating-with-pull-requests... "When you delete a public repository, one of the existing public forks is chosen to be the new upstream repository. All other repositories are forked off of this new upstream and subsequent pull requests go to this new upstream repository." I don't think we'd want some arbitrary fork to be "promoted" as the upstream, as it'd give a very misleading impression. It is probably better to change the description in the repo to alert peolpe that it is stale, point them to gitlab, then mark it as 'archived' in github. With regards, Daniel -- |: https://berrange.com -o- https://www.flickr.com/photos/dberrange :| |: https://libvirt.org -o- https://fstop138.berrange.com :| |: https://entangle-photo.org -o- https://www.instagram.com/dberrange :|