[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: mirroring lilypond on github

From: David Kastrup
Subject: Re: mirroring lilypond on github
Date: Sun, 19 Jan 2020 22:24:06 +0100
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux)

Werner LEMBERG <address@hidden> writes:

> I'm going to call
>   git push --mirror address@hidden:lilypond/lilypond.git
> to update the github mirror.  However, this will cause the following
> changes:
> To
>  - [deleted]               refs/changes/31/482031/1
>  - [deleted]               refs/changes/31/482031/meta
>  - [deleted]               refs/changes/32/482032/1

Huh, don't know what those are about: they seem specific to GitHub (or
this repository).

A mirror is a mirror: from that respect the push would not do damage,
but any pull request or other magic that happened only at the GitHub
site will be lost.

So better wait at least a week for feedback before going ahead.  Sounds
annoying, but it would be a shame to lose work from somebody who thought
contributing via GitHub the right way to proceed.

David Kastrup

reply via email to

[Prev in Thread] Current Thread [Next in Thread]