Currently pushing to master, syncing to main. Hoping to make main the ... ahem... main branch as part of the git upstream defaultBranch changes.
Not quite ready to switch over yet in our build CI environment but soon maybe? On Wed, Dec 2, 2020 at 8:11 AM Benjamin Pollack <[email protected]> wrote: > 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 >
_______________________________________________ Factor-talk mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/factor-talk
