Update eclipse-ide.jsonnet (#3)

Add issues on eclipse-ide/.github repository Signed-off-by: Olivier Prouvost <[email protected]>
eclipse-ide · Sep 16, 2024 · 1f53b73 · 1f53b73
1 parent c6bf091
commit 1f53b73
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/otterdog/eclipse-ide.jsonnet b/otterdog/eclipse-ide.jsonnet
@@ -16,7 +16,7 @@ orgs.newOrg('eclipse-ide') {
   },
   _repositories+:: [
     orgs.newRepo('.github') {
-      has_issues : false,
+      has_issues : true,
       delete_branch_on_merge: false,
       web_commit_signoff_required: false,
     },