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.

Sign up for GitHub

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

Jump to bottom

sync: first server to be san pablo (fixes #4116) #4117

Closed
wants to merge 1 commit into from
Closed

sync: first server to be san pablo (fixes #4116) #4117

wants to merge 1 commit into from

Conversation

Okuro3499
Copy link
Collaborator

@Okuro3499 Okuro3499 force-pushed the 4116-san-pablo-as-first-server branch from e92ce4f to f7263a0 Compare October 14, 2024 13:04
@dogi
Copy link
Member

dogi commented Oct 14, 2024

thx @Okuro3499

@dogi dogi closed this Oct 14, 2024
@dogi dogi deleted the 4116-san-pablo-as-first-server branch October 14, 2024 18:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@strawberrybread strawberrybread strawberrybread approved these changes

@AdhamElAsfar99 AdhamElAsfar99 AdhamElAsfar99 approved these changes

@rlam20 rlam20 rlam20 approved these changes

@PlataformasInformaticas PlataformasInformaticas Awaiting requested review from PlataformasInformaticas

Assignees
No one assigned
Labels
don't merge experiment
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

san pablo as first server
5 participants
@Okuro3499 @dogi @rlam20 @AdhamElAsfar99 @strawberrybread