Skip to content

user removed during a sync workflow #100

Open
Open
user removed during a sync workflow#100

Description

@laurentsenta
laurentsenta
opened on May 2, 2023

@dhuseby was added on April 5:
libp2p/github-mgmt#142

There was a sync during April 9:
https://github.com/libp2p/github-mgmt/actions/runs/4647735487/jobs/8224899783

Sync worked as expected,

github_membership.this["dhuseby"]: Refreshing state... [id=libp2p:dhuseby]

The next Sync workflow, April 16, he was removed:
commit: libp2p/github-mgmt@5a03b43
job: https://github.com/libp2p/github-mgmt/actions/runs/4710428931/jobs/8354060171

Listing w3dt-stewards members...
/home/runner/work/_temp/b4821f41-f7b7-431d-a8b8-cfd55943072d/terraform state rm -lock=true github_membership.this["dhuseby"]
Removed github_membership.this["dhuseby"]
Successfully removed 1 resource instance(s).
/home/runner/work/_temp/b4821f41-f7b7-431d-a8b8-cfd55943072d/terraform state rm -lock=true github_team_membership.this["w3dt-stewards:dhuseby"]
Removed github_team_membership.this["w3dt-stewards:dhuseby"]
Successfully removed 1 resource instance(s).
Releasing state lock. This may take a few moments...

(manual fix on may 1st: libp2p/github-mgmt#145)

There were two merges in between and a few manual runs for workflows / error fixes.

Activity

  1. galargh commented on May 8, 2023

    @galargh
    galargh
    on May 8, 2023
    Member

    It's because an invitation to the org wasn't accepted. If the invitation is pending, we leave memberships intact. Once it expires, the sync clears it from YAML because the user is not in fact a member of the org. Also, if we didn't clear it, there would be no way to resend the invitation through GitHub Management.

    It'd be nice to have a info that after being added as a member you still have to accept an email invitation. libp2p/github-mgmt#147 adds it to docs but I don't think that's going to be that effective. We might want to add a comment to the PR or something like that.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions