Skip to content

Conversation

@mxinden
Copy link
Member

@mxinden mxinden commented Nov 23, 2022

Follows suggestion in
#79 (comment).

Follow-up to #79 and #80.

@mxinden
Copy link
Member Author

mxinden commented Dec 1, 2022

Thanks for the review here.

@thomaseizinger @jxs I see that neither of you has push access to this repository. Would you mind creating a pull request against https://github.com/libp2p/github-mgmt granting you access?

@mxinden mxinden merged commit a2d38cc into libp2p:master Dec 1, 2022
codemaestro64 pushed a commit to codemaestro64/test-plans that referenced this pull request Oct 28, 2025
…2p#81)

* fix(ping/rust): Use refs/heads/master and not branch and master

Follows suggestion in
libp2p#79 (comment).
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants