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 [email protected] https://lists.sourceforge.net/lists/listinfo/factor-talk
