add json descriptions for recently created git apis

JetBrains-Research · Jan 5, 2024 · c28f5e0 · c28f5e0
1 parent 8ad7620
commit c28f5e0
Showing 1 changed file with 38 additions and 0 deletions.
diff --git a/.../src/main/resources/org/jetbrains/research/ideFormerPlugin/server/ideApiDescriptions.json b/.../src/main/resources/org/jetbrains/research/ideFormerPlugin/server/ideApiDescriptions.json
@@ -134,6 +134,14 @@
     "required_parameters": [],
     "optional_parameters": []
   },
+  {
+    "name": "git_log",
+    "url": "/git-log",
+    "description": "Lists the commits made in that repository in reverse chronological order; that is, the most recent commits show up first.",
+    "method": "GET",
+    "required_parameters": [],
+    "optional_parameters": []
+  },
   {
     "name": "git_add",
     "url": "/git-add",
@@ -149,6 +157,21 @@
     ],
     "optional_parameters": []
   },
+  {
+    "name": "git_rm",
+    "url": "/git-rm",
+    "description": "Removes the file from the Git index.",
+    "method": "GET",
+    "required_parameters": [
+      {
+        "name": "fileName",
+        "type": "STRING",
+        "regex": "^[\\w,\\s-]+\\.[A-Za-z]{2, 3, 4, 5}$",
+        "description": "The name of the file that should be removed from the Git index."
+      }
+    ],
+    "optional_parameters": []
+  },
   {
     "name": "git_commit",
     "url": "/git-commit",
@@ -164,6 +187,21 @@
     ],
     "optional_parameters": []
   },
+  {
+    "name": "git_reset",
+    "url": "/git-reset",
+    "description": "Is used to undo the changes in the working directory and get back to a specific commit while discarding all the commits made after that one.",
+    "method": "GET",
+    "required_parameters": [
+      {
+        "name": "commitsCount",
+        "type": "INT",
+        "regex": "^[1-9]\\d*",
+        "description": "Count of the last commits that should be dropped from the branch."
+      }
+    ],
+    "optional_parameters": []
+  },
   {
     "name": "git_branch",
     "url": "/git-branch",