Skip to content

Comments

[CI] Add one more GitHub collaborator#2093

Merged
jiayuasu merged 1 commit intomasterfrom
add-kelly
Jul 12, 2025
Merged

[CI] Add one more GitHub collaborator#2093
jiayuasu merged 1 commit intomasterfrom
add-kelly

Conversation

@jiayuasu
Copy link
Member

Did you read the Contributor Guide?

Is this PR related to a ticket?

  • No:
    • this is a CI update. The PR name follows the format [CI] my subject

What changes were proposed in this PR?

How was this patch tested?

Did this PR include necessary documentation updates?

  • No, this PR does not affect any public API so no need to change the documentation.

@github-actions github-actions bot added the root label Jul 12, 2025
@jiayuasu jiayuasu merged commit 7768548 into master Jul 12, 2025
4 checks passed
Subham-KRLX pushed a commit to Subham-KRLX/sedona that referenced this pull request Jul 17, 2025
@jiayuasu jiayuasu deleted the add-kelly branch September 8, 2025 07:19
Kontinuation pushed a commit to Kontinuation/sedona that referenced this pull request Jan 21, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant