Add merged label to PR if the MR was merged

Author: mschoettle

src/githubHelper.ts

@@ -428,6 +428,12 @@ export class GithubHelper {
       labels.push('has attachment');
     }
 
+    labels.push('gitlab merge request');
+
+    if (item.state === 'merged') {
+      labels.push('merged');
+    }
+
     return labels;
   }