suppression de mauvaises URLs

voir progit/progit2#1176

Author: aollier

book/04-git-server/sections/gitlab.asc

@@ -39,7 +39,7 @@ image::images/gitlab-menu.png[L’entrée « Admin area » dans le menu GitLab
 Les utilisateurs dans GitLab sont des comptes qui correspondent à des personnes.
 Les comptes utilisateurs ne sont pas très complexes ; ce sont principalement des collections d'informations personnelles rattachées à chaque information d'identification.
 Chaque compte utilisateur fournit un *espace de nommage*, qui est un rassemblement logique des projets appartenant à cet utilisateur.
-Si l'utilisateur +jane+ a un projet appelé +projet+, l'URL du projet est http://serveur/jane/projet[].
+Si l'utilisateur +jane+ a un projet appelé +projet+, l'URL du projet est `http://serveur/jane/projet`.
 
 [[gitlab_users]]
 .L'écran d'administration des utilisateurs GitLab.
@@ -56,7 +56,7 @@ Il s'agit clairement d'une action plus destructive et permanente, et son usage e
 ==== Groupes
 
 Un groupe GitLab est un assemblage de projets, accompagné des informations de droits d'accès à ces projets.
-Chaque groupe a un espace de nom de projet (de la même manière que les utilisateurs), donc si le groupe +formation+ a un projet +matériel+, son URL sera http://serveur/formation/matériel[].
+Chaque groupe a un espace de nom de projet (de la même manière que les utilisateurs), donc si le groupe +formation+ a un projet +matériel+, son URL sera `http://serveur/formation/matériel`.
 
 [[gitlab_groups]]
 .L'écran d'administration des groupes GitLab.

book/B-embedding-git/sections/jgit.asc

@@ -159,4 +159,3 @@ Si vous êtes intéressé et souhaitez en savoir plus, voici des liens vers plus
 * La documentation officielle de l'API JGit est disponible sur http://download.eclipse.org/jgit/docs/latest/apidocs[].
   Il existe des Javadoc standard, donc votre EDI JVM favori sera aussi capable de les installer localement.
 * Le livre de recettes JGit https://github.com/centic9/jgit-cookbook[] contient de nombreux exemples de réalisation de différentes tâches avec JGit.
-* Il existe quelques bonnes ressources énumérées sur http://stackoverflow.com/questions/6861881[].