Hi all, Until today, Factor has maintained a git repository on factorcode.org and force-pushed to github every five minutes. This behavior breaks github PRs because the git log is overwritten and changes look like they never merged.
Going forward, there is now a git hook that POSTs to factorcode.org and syncs all the github branches to a bare repo on every push. This means we can use the PR features of github! I'm also going to set up a hook that will upload boot images automatically in order to use git bisect. These images live at https://downloads.factorcode.org/images/build/ but are incomplete and only uploaded manually. If a git id does not have a corresponding boot image, it is likely in an nonworking state on that commit. The next priority along these lines is to fix the TravisCI so that there are no stochastic build errors and PRs show up as having been tested. Cheers, Doug
_______________________________________________ Factor-talk mailing list Factor-talk@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/factor-talk
