diff --git a/manual/develop.rst b/manual/develop.rst index 13ce025208..43b964ffe9 100644 --- a/manual/develop.rst +++ b/manual/develop.rst @@ -94,6 +94,8 @@ always available as an `archive `_. To update a branch to the latest code, use the command:: git pull --no-edit + +You can also browse the code at `GitHub `_. Submitting your changes to be included ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^