On Fri, 2022-11-04 at 01:50 +0300, Vitaly Chikunov wrote: > 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 hbow 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. There's an admin option to export the wiki, but this is much better. -- thanks, Mimi
