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
d1be15c28d
Added instructions on fetching replace objects for source history
2020-03-06 23:03:42 -06:00
b3b9b6b1ac
README: add the Gitter and the mailing list links in the Community section
2019-04-14 08:42:05 -05:00
6316670346
cleaning: update copyright year. use the same order for build
...
directions.
2019-03-22 17:56:28 -05:00
87d595250e
README.md: remove extra space.
2018-01-22 11:50:09 -08:00
5b3b4aeafb
README.md: fix <iota> in example.
2018-01-18 15:33:08 -08:00
b93dab1533
README.md: think it's nice to also explain the manual bootstrap procedure
2018-01-17 19:40:48 +01:00
9aacb29667
unmaintained: New repo here: https://github.com/factor/factor-unmaintained
...
It's confusing to ripgrep through unmaintained/ and this eliminates all
incompatible/outdated code in the Factor repository.
Please contribute the worthy code back to Factor and remove it from factor-unmaintained.
2017-06-04 15:45:56 -05:00
5dd6435511
moving build-support/factor.(sh|cmd) to ./build.(sh|cmd).
2016-03-15 03:17:36 -07:00
832cd212cc
README: https links instead of http.
2016-03-05 11:42:46 -08:00
37f047c1df
Allow specifying vocabulary roots on the command line
...
Fixes #1498
2016-03-04 10:51:21 -08:00
25bdd23829
README: minor introduction changes.
2012-08-16 20:26:17 -07:00
c0b8854829
README.md: A few more cleanups suggested by @mrjbq7.
2012-08-10 12:14:04 -07:00
3f13cc9c3a
README.md: Don't assume the user has downloaded Factor yet. Instructions on how to clone git and build the latest Factor.
2012-08-10 12:04:45 -07:00
667ebe942a
Adding a readme that github can understand.
2012-05-17 11:50:12 -07:00
Doug Coleman
nomennescio
Alexander Iljin
John Benediktsson
Björn Lindqvist
Benjamin Pollack