Home

Awesome

GitHub Management via Terraform

What is it?

This repository is responsible for managing GitHub configuration of filecoin-project organisation as code with Terraform. It was created from github-mgmt-template and it will receive updates from that repository.

IMPORTANT: Having write access to GitHub Management repository can be as powerful as having admin access to the organizations managed by that repository.

NOTE: Because we don't have merge queue functionality enabled for the repository yet, after a merge, wait for the Apply and Update workflows to complete before merging any other PRs.

To learn more, check out:

Tips / FYIs

Organization Owner SOPs

Below is documentation/expectations filecoin-project owners.

General

  1. Have 2FA enabled on GitHub account
  2. Be part of #filecoin-project-owners FIL Slack private channel

Handling App Installation Requests

  1. Per docs, org owners have to approve these requests.
  2. Pending installations can be reviewed at https://github.com/organizations/filecoin-project/settings/installations
    • New installation requests also come in via GitHub notificaitons to owners.
  3. Before approving the installation, ensure you have connected directly with the requester to understand their usecase and to ensure we're scoping down app access as much possible. For example, it's better if an app only need access to specific repos than to the whole organization, especially if the app is created by a 3rd party and/or needs write permissions.
  4. After approving, create a "log" of the approval by writing a message in #filecoin-project-owners following this template:

📝 App installation log entry
What: what_is_being_requested
Requester: who_is_requesting
Reason: why_the_request_is_being_made
Approver: who_the_approver_is
App Installation Link: https://github.com/organizations/filecoin-project/settings/installations/######

Removing Members From the Organization

Removing members from the organization with github-mgmt has been disabled (see here). This is a security measure; org member removals are hard to revert because to re-invite someone, they have to accept the invitation.

To remove someone, an org admin should follow these steps:

  1. (anyone) Open a PR that removes the member from all teams and repositories and leaves a comment next to their name saying they'll be manually removed via the UI. We do this so there is record in the commit history of the intent of the change.
  2. Get the PR approved per normal process.
  3. (github-mgmt-steward) Merge the PR.
  4. (org owner) Confirm in https://github.com/filecoin-project/github-mgmt/actions that the actions are applied.
  5. (org owner) Access the user in the GitHub UI at https://github.com/orgs/filecoin-project/people/USERNAME
  6. (org owner) Remove the user from the organization via the "Remove from organization" button.
  7. (org owner) Grab a screenshot
  8. (org owner) Run the sync workflow to remove the user from the terraform state
  9. (org owner) Post back in the original PR that the user has been fully removed, including the screenshot and a link to the sync workflow run.

https://github.com/filecoin-project/github-mgmt/pull/66 is an example of this process.