Doug Coleman 172649f667 factor: Update all repos to point to github.com. ... factorcode.org repo can get behind the github one due to #1862 and low RAM on the new factorcode.org server Change strategy for calling git fetch to not include the branch name if we are on a detached HEAD		2020-03-15 13:06:02 -05:00
..
authors.txt	…
git.factor	factor: Update all repos to point to github.com.	2020-03-15 13:06:02 -05:00