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.

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

Document how to disable ledger peers #4209

Merged
merged 1 commit into from
Nov 8, 2022
Merged

Document how to disable ledger peers #4209

merged 1 commit into from
Nov 8, 2022

Conversation

coot
Copy link
Contributor

@coot coot commented Jul 21, 2022

No description provided.

@coot coot added networking Issues and PRs related to networking documentation labels Jul 21, 2022
@coot
Copy link
Contributor Author

coot commented Oct 14, 2022

bors merge

@iohk-bors
Copy link
Contributor

iohk-bors bot commented Oct 14, 2022

Canceled.

@coot
Copy link
Contributor Author

coot commented Oct 17, 2022

bors merge

iohk-bors bot added a commit that referenced this pull request Oct 17, 2022
4209: Document how to disable ledger peers r=coot a=coot



Co-authored-by: Marcin Szamotulski <coot@coot.me>
@iohk-bors
Copy link
Contributor

iohk-bors bot commented Oct 17, 2022

Build failed:

@coot
Copy link
Contributor Author

coot commented Oct 21, 2022

bors merge

iohk-bors bot added a commit that referenced this pull request Oct 21, 2022
4209: Document how to disable ledger peers r=coot a=coot



Co-authored-by: Marcin Szamotulski <coot@coot.me>
@iohk-bors
Copy link
Contributor

iohk-bors bot commented Oct 21, 2022

Build failed:

@coot
Copy link
Contributor Author

coot commented Nov 2, 2022

bors merge

iohk-bors bot added a commit that referenced this pull request Nov 2, 2022
4209: Document how to disable ledger peers r=coot a=coot



Co-authored-by: Marcin Szamotulski <coot@coot.me>
@iohk-bors
Copy link
Contributor

iohk-bors bot commented Nov 2, 2022

Build failed:

@coot
Copy link
Contributor Author

coot commented Nov 4, 2022

bors merge

iohk-bors bot added a commit that referenced this pull request Nov 4, 2022
4209: Document how to disable ledger peers r=coot a=coot



Co-authored-by: Marcin Szamotulski <coot@coot.me>
@iohk-bors
Copy link
Contributor

iohk-bors bot commented Nov 4, 2022

This PR was included in a batch that successfully built, but then failed to merge into master. It will not be retried.

Additional information:

{"message":"Waiting on code owner review from input-output-hk/docs-access.","documentation_url":"https://docs.github.com/articles/about-protected-branches"}

@coot
Copy link
Contributor Author

coot commented Nov 7, 2022

bors merge

iohk-bors bot added a commit that referenced this pull request Nov 7, 2022
4209: Document how to disable ledger peers r=coot a=coot



4563: New p2p topology file format r=coot a=coot

Fixes #4559.


Co-authored-by: Marcin Szamotulski <coot@coot.me>
@iohk-bors
Copy link
Contributor

iohk-bors bot commented Nov 7, 2022

This PR was included in a batch that successfully built, but then failed to merge into master. It will not be retried.

Additional information:

{"message":"Waiting on code owner review from input-output-hk/docs-access.","documentation_url":"https://docs.github.com/articles/about-protected-branches"}

@coot
Copy link
Contributor Author

coot commented Nov 8, 2022

bors merge

@iohk-bors
Copy link
Contributor

iohk-bors bot commented Nov 8, 2022

Build succeeded:

@iohk-bors iohk-bors bot merged commit 5633d1c into master Nov 8, 2022
@iohk-bors iohk-bors bot deleted the coot/docs branch November 8, 2022 12:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation networking Issues and PRs related to networking
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants