Skip to content
This repository has been archived by the owner on Oct 31, 2024. It is now read-only.

chore: rename org #9

Merged
merged 3 commits into from
Jun 28, 2023
Merged

chore: rename org #9

merged 3 commits into from
Jun 28, 2023

Conversation

sebastiendan
Copy link
Member

Description

This PR renames the former topos-network org with the new topos-protocol name.

PR Checklist:

  • I have performed a self-review of my code
  • I have commented my code, particularly in hard-to-understand areas
  • I have made corresponding changes to the documentation
  • I have added or updated tests that comprehensively prove my change is effective or that my feature works

@sebastiendan sebastiendan self-assigned this Jun 28, 2023
@sebastiendan sebastiendan merged commit c426d7c into main Jun 28, 2023
@sebastiendan sebastiendan deleted the chore/rename-org branch June 28, 2023 16:21
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers
No reviews
Assignees

@sebastiendan sebastiendan

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@sebastiendan