diff options
| author | grubert <grubert@929543f6-e4f2-0310-98a6-ba3bd3dd1d04> | 2020-08-13 14:27:50 +0000 |
|---|---|---|
| committer | grubert <grubert@929543f6-e4f2-0310-98a6-ba3bd3dd1d04> | 2020-08-13 14:27:50 +0000 |
| commit | 4d6c6babb1e0c470a9b9c008aef3b83da487b7fa (patch) | |
| tree | cc34cc5335f6ab82a9db1c6f9fefdc1b7b08192f /docutils/docs/dev | |
| parent | 300c1c15a9353b680b0c1c23909f1d3fcd4e76dc (diff) | |
| download | docutils-4d6c6babb1e0c470a9b9c008aef3b83da487b7fa.tar.gz | |
add github live-clones link
git-svn-id: http://svn.code.sf.net/p/docutils/code/trunk@8538 929543f6-e4f2-0310-98a6-ba3bd3dd1d04
Diffstat (limited to 'docutils/docs/dev')
| -rw-r--r-- | docutils/docs/dev/repository.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docutils/docs/dev/repository.txt b/docutils/docs/dev/repository.txt index 169cb784c..b48e0f2b0 100644 --- a/docutils/docs/dev/repository.txt +++ b/docutils/docs/dev/repository.txt @@ -37,6 +37,10 @@ analogously. There is a git_ mirror at http://repo.or.cz/docutils.git providing `web access`_ and the base for `creating a local git clone`_. +docutils trunk is cloned hourly to github : + + https://github.com/live-clones/docutils/tree/master/docutils + For the project policy on repository use (check-in requirements, branching, etc.), please see the `Docutils Project Policies`__. |