On Thu, Nov 03, 2022 at 05:35:40PM -0400, Mimi Zohar wrote: > Hi Petr, > > > > > Is the github repo now the main repo and sourceforge repo is dead? > > > > > The "next" branch in both repo's are the same. Before posting patches, > > > I verify that github Actions works. As a result, the next-testing > > > branch on github is rebased frequently. Once a patch set is ready, the > > > "next" branch in both repo's is updated. > > > > > To answer your question the github repo is primary. > > Maybe deleting everything in sourceforge and ad put single file with link to > > github.com would save you work (having master, next and next-testing branches > > with this file). > > Thanks, definitely appreciate time saving tips! Vitaly suggested > saving the sourceforge wiki info in ima-evm-utils and updating the > file(s) like any other file. Before removing "everything"h from > sourceforge, that still needs to be done. I thought markdown should be downloaded from Edit interface, which is not available on SF for non-admins. But I found recently how to download it in Json format via Allura API: curl -s https://sourceforge.net/rest/p/linux-ima/wiki/Home | jq -r .text Then only end-of-lines need to be fixed. Thanks, > > -- > thanks, > > Mimi
