From c1383bc2d55cb6565fbd63eb4088c734a805700e Mon Sep 17 00:00:00 2001 From: Nicola Soranzo Date: Thu, 11 Oct 2018 15:22:23 +0100 Subject: [PATCH] Small fixes --- doc/source/releases/18.09_announce.rst | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/source/releases/18.09_announce.rst b/doc/source/releases/18.09_announce.rst index 62cdab9828d..91ce330f29d 100644 --- a/doc/source/releases/18.09_announce.rst +++ b/doc/source/releases/18.09_announce.rst @@ -39,12 +39,12 @@ Highlights Lint, unit, API, framework, integration and Selenium tests all pass, time for you to give it a try and report any bug you find! - `https://github.com/galaxyproject/galaxy/issues/1715` + `Tracking issue `__ Get Galaxy ========== -The code lives at `Github `__ and you should have `Git `__ to obtain it. +The code lives at `GitHub `__ and you should have `Git `__ to obtain it. To get a new Galaxy repository run: .. code-block:: shell @@ -72,7 +72,7 @@ Deprecation Notice ================== With 19.01, all Galaxy users will be forced to have a username. This -requirement has been enforced on user creation for years, though we've never +requirement has been enforced on user creation for years, though we have never taken steps to coerce users created in the past who did not have one. The 19.01 release will come with a migration script that will coerce this in the database, which will allow us to have consistent handling of this field.