Hi Spencer,

Sorry for bothering you again, but we need another manual sync on the
ntfreak/openocd mirror.

Could you please help.

Thanks in advance,
Tarek


Le dim. 8 nov. 2020 à 19:25, Tarek BOCHKATI <tarekbouchk...@gmail.com> a
écrit :

>
> 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 <tarekbouchk...@gmail.com> a
> écrit :
>
>> Le mar. 27 oct. 2020 à 22:19, Spencer Oliver <s...@spen-soft.co.uk> a
>> écrit :
>>
>>> On Tue, 27 Oct 2020 at 09:31, Tarek BOCHKATI <tarekbouchk...@gmail.com>
>>> 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 )
>>
>>
_______________________________________________
OpenOCD-devel mailing list
OpenOCD-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/openocd-devel

Reply via email to