]> gitweb.factorcode.org Git - factor.git/commit
projects / factor.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 426d8f0) | patch
factor: Update all repos to point to github.com.
authorDoug Coleman <doug.coleman@gmail.com>
Sun, 15 Mar 2020 17:22:15 +0000 (12:22 -0500)
committerDoug Coleman <doug.coleman@gmail.com>
Sun, 15 Mar 2020 18:06:02 +0000 (13:06 -0500)
commit172649f667f3051c7b30eb288c9483d83b01017d
tree9e960facd49279b396729126eaaa13f7f4fd4f6ftree | snapshot
parent426d8f09b2d62d29a5b89a53492890ce2a49158acommit | diff
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
README.md diff | blob | history
build.sh diff | blob | history
extra/mason/git/git.factor diff | blob | history
Factor programming language