I noticed that we've got both main and master branches at this point. Should I be pushing to main or to master? Do we have a workflow, or we're just keeping them in sync for now?
_______________________________________________ Factor-talk mailing list Factor-talk@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/factor-talk