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 <benja...@bitquabit.com> 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 > Factor-talk@lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/factor-talk >
_______________________________________________ Factor-talk mailing list Factor-talk@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/factor-talk
