chore: adding terraform for GitHub repo maintenance (#3)

README.md

@@ -2,3 +2,18 @@
 [![codecov](https://codecov.io/gh/bihealth/dotty/graph/badge.svg?token=eLNzGVw30U)](https://codecov.io/gh/bihealth/dotty)
 
 # dotty - cdot-based position projection
+
+## Terraform Project Management
+
+```
+$ export GITHUB_OWNER=bihealth
+$ export GITHUB_TOKEN=ghp_<thetoken>
+
+$ cd utils/terraform
+$ terraform init
+$ terraform import github_repository.dotty dotty
+$ terraform validate
+$ terraform fmt
+$ terraform plan
+$ terraform apply
+```

utils/terraform/.gitignore

@@ -0,0 +1,2 @@
+.terraform*
+terraform.tfstate*

utils/terraform/.python-version

@@ -0,0 +1 @@
+3.10

utils/terraform/main.tf

@@ -0,0 +1,19 @@
+# Mangement of the GitHub project.
+
+resource "github_repository" "dotty" {
+  name        = "dotty"
+  description = "cdot-based transcript projections"
+
+  has_issues = true
+  visibility = "public"
+
+  allow_auto_merge       = true
+  allow_rebase_merge     = false
+  allow_merge_commit     = false
+  has_downloads          = true
+  has_discussions        = true
+  delete_branch_on_merge = true
+
+  squash_merge_commit_message = "BLANK"
+  squash_merge_commit_title   = "PR_TITLE"
+}

utils/terraform/provider.tf

@@ -0,0 +1 @@
+provider "github" {}