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

chore: update the repo URL #123

Merged
merged 1 commit into from
Dec 15, 2023
Merged

chore: update the repo URL #123

merged 1 commit into from
Dec 15, 2023

Conversation

pepyakin
Copy link
Contributor

Closes #119

@pepyakin Graphite App
Copy link
Contributor Author

pepyakin commented Dec 15, 2023 •
edited by gabriele-0201
Loading

Current dependencies on/for this PR:

This stack of pull requests is managed by Graphite.

@pepyakin pepyakin force-pushed the pep-chore-update-the-repo-URL branch from 2a3c515 to 7c2731a Compare December 15, 2023 11:50
@pepyakin pepyakin changed the base branch from main to pep-follow-up-namespace-type-extension December 15, 2023 11:50
This was referenced Dec 15, 2023
Merged
Closed
@pepyakin pepyakin force-pushed the pep-follow-up-namespace-type-extension branch from 113c5a8 to 718016a Compare December 15, 2023 15:04
@pepyakin pepyakin force-pushed the pep-chore-update-the-repo-URL branch from 7c2731a to 2fe9369 Compare December 15, 2023 15:04
This was referenced Dec 15, 2023
Merged
Merged
Merged
This was referenced Dec 15, 2023
Merged
Merged
Merged
Merged
Base automatically changed from pep-follow-up-namespace-type-extension to main December 15, 2023 16:38
@rphmeier Graphite App
Copy link
Contributor

rphmeier commented Dec 15, 2023 •
edited
Loading

Merge activity

  • Dec 15, 11:38 AM: @@rphmeier started a stack merge that includes this pull request via Graphite.
  • Dec 15, 11:39 AM: Graphite rebased this pull request as part of a merge.
  • Dec 15, 11:40 AM: @@rphmeier merged this pull request with Graphite.

@rphmeier rphmeier force-pushed the pep-chore-update-the-repo-URL branch from 2fe9369 to 634d305 Compare December 15, 2023 16:39
@rphmeier rphmeier merged commit d190baf into main Dec 15, 2023
2 checks passed
@rphmeier rphmeier deleted the pep-chore-update-the-repo-URL branch December 15, 2023 16:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@rphmeier rphmeier rphmeier approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Update the URL
2 participants
@pepyakin @rphmeier