Skip to content

Add @juliangruber to filecoin-pin admins#210

Merged
rjan90 merged 1 commit into
filecoin-project:masterfrom
juliangruber:patch-2
Jun 9, 2026
Merged

Add @juliangruber to filecoin-pin admins#210
rjan90 merged 1 commit into
filecoin-project:masterfrom
juliangruber:patch-2

Conversation

@juliangruber

Copy link
Copy Markdown
Member

Summary

Add @juliangruber to filecoin-pin admins.

Why do you need this?

So that I can enable the auto-merge feature.

What else do we need to know?

DRI: myself

Reviewer's Checklist

  • It is clear where the request is coming from (if unsure, ask)
  • All the automated checks passed
  • The YAML changes reflect the summary of the request
  • The Terraform plan posted as a comment reflects the summary of the request

So that I can enable the auto-merge feature.
@github-actions

github-actions Bot commented Jun 9, 2026

Copy link
Copy Markdown
Contributor

The following access changes will be introduced as a result of applying the plan:

Access Changes
User juliangruber:
  - will have the permission to filecoin-pin change from push to admin

@rjan90 rjan90 merged commit f64192c into filecoin-project:master Jun 9, 2026
5 of 6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants