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? Regards Spen
_______________________________________________ OpenOCD-devel mailing list OpenOCD-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/openocd-devel
