Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix(ci) update labeler to pull_request_target #8717

Merged
merged 4 commits into from
Mar 2, 2023

Conversation

skrdgraph
Copy link
Contributor

Related to this change #8716

We will see labeler failing on community PRs without this change.

@skrdgraph skrdgraph marked this pull request as ready for review March 2, 2023 23:06
@joshua-goldstein joshua-goldstein self-requested a review March 2, 2023 23:19
@skrdgraph skrdgraph merged commit bda0851 into main Mar 2, 2023
@skrdgraph skrdgraph deleted the skrdgraph/labeler_edits branch March 2, 2023 23:20
@MichelDiz MichelDiz added the dgraph Issue or PR created by an internal Dgraph contributor. label Mar 7, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dgraph Issue or PR created by an internal Dgraph contributor.
Development

Successfully merging this pull request may close these issues.

3 participants