On 1/18/24 00:17, Hongyi Zhao wrote:
On Thu, Jan 18, 2024 at 1:11 PM Hongyi Zhao <hongyi.z...@gmail.com> wrote:
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 screenshot
If I'm reading that right, the error is when you try to push to origin.
Does origin exist? Where? The problem is with access to that repo.
Riki
--
lyx-users mailing list
lyx-users@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-users
