Re: [OpenOCD-devel] Syncing OpenOCD github mirror

[Tarek B. <tar...@gm...>]

Hi Spen,

Unfortunately, we are in the same situation with your mirror, since some
patches have touched the github workflow files.
could you please do another manual sync before the 0.11.0-rc1 tag.

Thanks in advance,
Tarek


Le mer. 28 oct. 2020 à 10:39, Tarek BOCHKATI <tar...@gm...> a
écrit :

> Le mar. 27 oct. 2020 à 22:19, Spencer Oliver <sp...@sp...> a
> écrit :
>
>> On Tue, 27 Oct 2020 at 09:31, Tarek BOCHKATI <tar...@gm...>
>> wrote:
>>
>>> Hi Spencer,
>>>
>>> I'm contacting you regarding your Github mirror of OpenOCD.
>>>
>>> After my change http://openocd.zylin.com/#/c/5594/
>>> The build server is no longer able to sync automatically your mirror.
>>> The error seems that with the application key we cannot push the file
>>> under .github/workflows.
>>> (the discussion log is available here :
>>> https://freenode.logbot.info/openocd/20200930?_sm_nck=1#c5288047 )
>>>
>>> As your mirror is well known, I believe it's important to keep it synced
>>> with openocd head.
>>>
>>> Could you please try to sync it manually this time to bypass the
>>> .github/workflows file issue.
>>> Then we can check if the build server can again do the sync.
>>>
>>
>> I have done a manual sync so let's see if that solves the issues seen?
>>
>
> Thanks Spencer.
> We should wait for the next merge and check if the sync issue is solved.
>
> BTW, the github actions are working, and windows binaries are generated
> for each push (example
> https://github.com/ntfreak/openocd/actions/runs/332225479 )
>
>