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. Thanks in advance, Tarek
_______________________________________________ OpenOCD-devel mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/openocd-devel
