Merge pull request #1000 from ibi-group/remove-duplicate-key

Remove duplicate key
ibi-group · Nov 9, 2023 · 5994927 · 5994927
2 parents 6e6185b + 035f411
commit 5994927
Showing 1 changed file with 2 additions and 5 deletions.
diff --git a/lib/types/index.js b/lib/types/index.js
@@ -61,7 +61,6 @@ export type RtdEntity = {
 export type RtdAlert = {
   Cause: string,
   DescriptionText: string,
-  DescriptionText: string,
   EditedBy: string,
   EditedDate: string,
   Effect: string,
@@ -238,8 +237,7 @@ export type CustomFile = {
   useDuringServe: boolean
 }
 
-// TODO: Remove this eslint rule once https://github.com/babel/babel-eslint/pull/584
-// is merged in.
+// TODO: Remove this eslint rule once Mastarm is upgraded/replaced
 /* eslint-disable no-use-before-define */
 export type Deployment = {
   buildGraphOnly?: boolean,
@@ -576,8 +574,7 @@ export type Label = {
   user?: string
 }
 
-// TODO: Remove this eslint rule once https://github.com/babel/babel-eslint/pull/584
-// is merged in.
+// TODO: Remove this eslint rule once Mastarm is upgraded/replaced
 /* eslint-enable no-use-before-define */
 export type FeedInfo = {
   id: string