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. -- thanks, Mimi