fix: making github-mgmt public [skip fix]

[galargh]

https://github.com/filecoin-project/github-mgmt/pull/46 failed to be applied properly because of an issue with security scanning settings.

[github-actions[bot]]

Before merge, verify that all the following plans are correct. They will be applied as-is after the merge.

Terraform plans

filecoin-project

``` Terraform used the selected providers to generate the following execution plan. Resource actions are indicated with the following symbols: ~ update in-place Terraform will perform the following actions: # github_repository.this["github-mgmt"] will be updated in-place ~ resource "github_repository" "this" { id = "github-mgmt" name = "github-mgmt" ~ visibility = "private" -> "public" # (31 unchanged attributes hidden) + security_and_analysis { + secret_scanning { + status = "disabled" } + secret_scanning_push_protection { + status = "disabled" } } # (1 unchanged block hidden) } Plan: 0 to add, 1 to change, 0 to destroy. ```