From d4b89bdb8338418dbd47d92ea1e9bbd5b243bef5 Mon Sep 17 00:00:00 2001
From: idhugoid <hugodsmacedo@gmail.com>
Date: Wed, 11 May 2022 10:00:43 +0200
Subject: [PATCH] Updates repository name

---
 README.md                    | 14 +++++++-------
 package.json                 |  6 +++---
 test/suite/extension.test.ts |  2 +-
 3 files changed, 11 insertions(+), 11 deletions(-)

diff --git a/README.md b/README.md
index 80ae25ce..62b8a5a5 100644
--- a/README.md
+++ b/README.md
@@ -8,13 +8,13 @@
 VDM-VSCode is an extension for Visual Studio Code (VS Code) that provides language support for the VDM dialects VDM-SL, VDM++ and VDM-RT.
 The extension utilises a [language server powered by VDMJ](https://github.com/nickbattle/vdmj/tree/master/lsp) that is developed by [Nick Battle](https://github.com/nickbattle).
 
-<img src="https://github.com/jonaskrask/vdm-vscode/raw/development/documentation/screenshots/GUI.png" width="800">
+<img src="https://github.com/overturetool/vdm-vscode/raw/development/documentation/screenshots/GUI.png" width="800">
 
 \*If you are used to the Overture Tool IDE and would like to keep that syntax highlighting we suggest that you use the color theme [Eclipse Classic Light](https://marketplace.visualstudio.com/items?itemName=LorenzoBilli.eclipse-classic-light) or another eclipse color theme.
 
 ## Wiki
-Check out the [wiki](https://github.com/jonaskrask/vdm-vscode/wiki) for the extension for information about how to get started, learning how to use the features, see developer notes and much more!
-Find the wiki at: [https://github.com/jonaskrask/vdm-vscode/wiki](https://github.com/jonaskrask/vdm-vscode/wiki)
+Check out the [wiki](https://github.com/overturetool/vdm-vscode/wiki) for the extension for information about how to get started, learning how to use the features, see developer notes and much more!
+Find the wiki at: [https://github.com/overturetool/vdm-vscode/wiki](https://github.com/overturetool/vdm-vscode/wiki)
 
 ## Installation
 
@@ -60,11 +60,11 @@ Thus, most feature contributions relates to the desktop version of the extension
 
 Open a folder (single VDM project) or a workspace (multiple VDM projects) and then open a VDM file(`.vdmsl`, `.vdmpp` or `.vdmrt`) from the explorer window. This will automatically start the language server in the background.
 
-[Click here](https://github.com/jonaskrask/vdm-vscode/wiki/Usage-GIFs) for an overview of how to use the features of the extension.
+[Click here](https://github.com/overturetool/vdm-vscode/wiki/Usage-GIFs) for an overview of how to use the features of the extension.
 
 ## Settings
 
-This extension contributes a number of settings. [Click here](https://github.com/jonaskrask/vdm-vscode/wiki/Settings) for a detailed overview.
+This extension contributes a number of settings. [Click here](https://github.com/overturetool/vdm-vscode/wiki/Settings) for a detailed overview.
 
 ## Publications
 
@@ -84,9 +84,9 @@ See change log [here](CHANGELOG.md).
 
 ## Issues
 
-Submit an [issue](https://github.com/jonaskrask/vdm-vscode/issues) if you find a bug or have a suggestion for improving the extension.
+Submit an [issue](https://github.com/overturetool/vdm-vscode/issues) if you find a bug or have a suggestion for improving the extension.
 
 ## Contributing
 
-Contributions are very welcome. To do so either open an issue or feature request or fork the [repo](https://github.com/jonaskrask/vdm-vscode) and submit a pull request.
+Contributions are very welcome. To do so either open an issue or feature request or fork the [repo](https://github.com/overturetool/vdm-vscode) and submit a pull request.
 For further information see [here](CONTRIBUTING.md).
diff --git a/package.json b/package.json
index b574b5d3..10a1e6a4 100644
--- a/package.json
+++ b/package.json
@@ -37,14 +37,14 @@
     "main": "./out/src/extension",
     "browser": "./out/src/webExtension.js",
     "icon": "resources/icons/Overture.png",
-    "homepage": "https://github.com/jonaskrask/vdm-vscode/blob/master/README.md",
+    "homepage": "https://github.com/overturetool/vdm-vscode/blob/master/README.md",
     "repository": {
         "type": "git",
-        "url": "https://github.com/jonaskrask/vdm-vscode"
+        "url": "https://github.com/overturetool/vdm-vscode"
     },
     "bugs": {
         "type": "git",
-        "url": "https://github.com/jonaskrask/vdm-vscode/issues"
+        "url": "https://github.com/overturetool/vdm-vscode/issues"
     },
     "activationEvents": [
         "onDebugResolve:vdm",
diff --git a/test/suite/extension.test.ts b/test/suite/extension.test.ts
index fe651aec..ccb1c273 100644
--- a/test/suite/extension.test.ts
+++ b/test/suite/extension.test.ts
@@ -21,7 +21,7 @@ suite("Extension Test Suite", () => {
             .getExtension("overturetool.vdm-vscode")
             .activate()
             .then(() => {
-                assert.ok(vscode.extensions.getExtension("jonaskrask.vdm-vscode").isActive);
+                assert.ok(vscode.extensions.getExtension("overturetool.vdm-vscode").isActive);
             });
     });
 });