Skip to content
This repository has been archived by the owner on Jan 13, 2025. It is now read-only.

Remove unused RpcSubscriptionsRequest type #3391

Merged
merged 1 commit into from
Oct 23, 2024

Conversation

lorisleiva
Copy link
Contributor

@lorisleiva lorisleiva commented Oct 17, 2024

This PR removes the RpcSubscriptionsRequest which was used in the previous implementation of RPC Subscriptions but no longer is.

Copy link

changeset-bot bot commented Oct 17, 2024

⚠️ No Changeset found

Latest commit: 3391bd5

Merging this PR will not cause a version bump for any packages. If these changes should not result in a new version, you're good to go. If these changes should result in a version bump, you need to add a changeset.

Click here to learn what changesets are, and how to add one.

Click here if you're a maintainer who wants to add a changeset to this PR

Copy link
Contributor

@steveluscher steveluscher left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Added via Giphy

Copy link
Contributor Author

lorisleiva commented Oct 23, 2024

Merge activity

  • Oct 23, 4:43 AM EDT: A user started a stack merge that includes this pull request via Graphite.
  • Oct 23, 4:44 AM EDT: Graphite rebased this pull request as part of a merge.
  • Oct 23, 4:45 AM EDT: A user merged this pull request with Graphite.

@lorisleiva lorisleiva force-pushed the loris/remove-unused-rpcs-type branch from ba88104 to 3391bd5 Compare October 23, 2024 08:43
@lorisleiva lorisleiva merged commit 0f739b6 into master Oct 23, 2024
7 checks passed
@lorisleiva lorisleiva deleted the loris/remove-unused-rpcs-type branch October 23, 2024 08:45
Copy link
Contributor

github-actions bot commented Nov 7, 2024

Because there has been no activity on this PR for 14 days since it was merged, it has been automatically locked. Please open a new issue if it requires a follow up.

@github-actions github-actions bot locked as resolved and limited conversation to collaborators Nov 7, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants