While i cannot provide insight into the error cause, did you consider using git's --mirror push mode for your mirror repo? This option most importantly automatically does a force-update or force-delete of refs if they were changed or deleted. Also, it automatically pushes all locally present branches.On Wed, Jan 17, 2024 at 11:54?PM Pavel Sanda <sa...@lyx.org> wrote:On Wed, Jan 17, 2024 at 09:58:43PM +0800, Hongyi Zhao wrote:However, I am not sure if this setting is correct and can work as expected. Because I don't have much experience in this regard.I can't be of much help here. Just FYI we are in the middle of slow transition to a new git server, so you update process might need some tinkering in near future (we'll announce here and on announce maillist).Based on what I've seen so far, my repo doesn't automatically update to the latest official repo commit, so maybe it's because of what you've described above, or maybe there's something wrong with my workflow script.I noticed that my workflow was running into the error shown in the attached screenshotPavelRegards, Zhao
<https://git-scm.com/docs/git-push#Documentation/git-push.txt---mirror>Also it may be useful to check this GitHub docs site about this matter: <https://docs.github.com/en/repositories/creating-and-managing-repositories/duplicating-a-repository?platform=linux>
Regards, Markus -- Markus OppmannÖffentlicher Schlüssel: <https://keys.openpgp.org/vks/v1/by-fingerprint/FDCABF91BC66823A8F64BF4EA018EDB762ADBE7C>
OpenPGP_signature.asc
Description: OpenPGP digital signature
-- lyx-users mailing list lyx-users@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-users
