Commit a166037b authored by DURAND Patrick's avatar DURAND Patrick
Browse files

update auto-update method description

parent 25c66a66
......@@ -7,5 +7,4 @@ This git repository resides at two locations:
* Inria GForge (main)
* Github (mirror of the GForge repository)
The Github repository is auto-updated every hour using `push --mirror`. This was done using the method of
Hence don't push to Github, commits will be discarded. Push to Gforge instead.
The Github repository is auto-updated from Inria GForge.
\ No newline at end of file
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment