From 723b8ce660f6f89c4a3a165879a384486348461d Mon Sep 17 00:00:00 2001 From: Didier Le Botlan Date: Wed, 20 Mar 2024 14:37:32 +0100 Subject: [PATCH] Maj JDK 17 --- README.md | 4 ++-- pom.xml | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index b24c5a0..0191212 100644 --- a/README.md +++ b/README.md @@ -37,7 +37,7 @@ You first need to register and then log in to the platform you want. The steps t 5. Click *Create project*. 6. Wait for completion... Done! -### Importing to another repository provider *[not recommended]*: +### Importing to another repository provider: 1. Create a new **empty** repository (no README, no LICENSE) on your provider. Let's assume the URL of your repository is `$URL_REPOSITORY`. 2. Clone this repository somewhere: @@ -59,4 +59,4 @@ You first need to register and then log in to the platform you want. The steps t push -u origin master ``` -Another way is to do a bare clone and then mirror it to your repository: [https://help.github.com/articles/importing-a-git-repository-using-the-command-line/](https://help.github.com/articles/importing-a-git-repository-using-the-command-line/) \ No newline at end of file +Another way is to do a bare clone and then mirror it to your repository: [https://help.github.com/articles/importing-a-git-repository-using-the-command-line/](https://help.github.com/articles/importing-a-git-repository-using-the-command-line/) diff --git a/pom.xml b/pom.xml index c275f19..1d7cc20 100644 --- a/pom.xml +++ b/pom.xml @@ -12,7 +12,7 @@ be-graphes-all - 1.8 + 17 ${jdk.version} ${jdk.version} UTF-8