From 5a5dbb97f1e04dfe15fbf71c441eb50ae4b70b11 Mon Sep 17 00:00:00 2001 From: Martin Cech Date: Sat, 25 Feb 2017 10:49:42 -0500 Subject: [PATCH] improve 17.01 get galaxy release notes --- doc/source/releases/17.01_announce.rst | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/doc/source/releases/17.01_announce.rst b/doc/source/releases/17.01_announce.rst index 97ae359e2a9..199dbbd68f4 100644 --- a/doc/source/releases/17.01_announce.rst +++ b/doc/source/releases/17.01_announce.rst @@ -29,15 +29,17 @@ Highlights Thanks to `@abretaud `__, `@ashvark `__, `@jvolkening `__, and `@mvdbeek `__. Implemented in `Pull Request 3145`_, `PullRequest 3510`_ and `PullRequest 3514`_. -`Github `__ -=========================================================== +Get Galaxy +========== -New Galaxy repository +The code lives at `Github `__ and you should have `Git `__ to obtain it. + +To get a new Galaxy repository run: .. code-block:: shell $ git clone -b release_17.01 https://github.com/galaxyproject/galaxy.git -Update of existing Galaxy repository +To update an existing Galaxy repository run: .. code-block:: shell $ git checkout release_17.01 && git pull --ff-only origin release_17.01