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

docs: clarify how to use recopy to recover from broken updates #1218

Merged
merged 2 commits into from
Jul 8, 2023

Conversation

yajo
Copy link
Member

@yajo yajo commented Jun 29, 2023

Docs were a bit repetitive and unclear.

Targets #1170. It could even fix it?

Docs were a bit repetitive and unclear.

Targets #1170. It could even fix it?
@yajo yajo self-assigned this Jun 29, 2023
@yajo yajo enabled auto-merge (rebase) June 29, 2023 11:22
@codecov
Copy link

codecov bot commented Jun 29, 2023

Codecov Report

Merging #1218 (c36f6f8) into master (38c6d23) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           master    #1218   +/-   ##
=======================================
  Coverage   96.74%   96.74%           
=======================================
  Files          47       47           
  Lines        3937     3937           
=======================================
  Hits         3809     3809           
  Misses        128      128           
Flag Coverage Δ
unittests 96.74% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

docs/updating.md Outdated Show resolved Hide resolved
docs/updating.md Outdated Show resolved Hide resolved
@yajo yajo disabled auto-merge June 29, 2023 15:09
Co-authored-by: Timothée Mazzucotelli <pawamoy@pm.me>
Co-authored-by: Sigurd Spieckermann <2206639+sisp@users.noreply.github.com>
@yajo yajo enabled auto-merge (squash) June 29, 2023 15:11
Copy link
Member

@sisp sisp left a comment

Choose a reason for hiding this comment

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

👌

@yajo yajo merged commit 0c5a6ca into master Jul 8, 2023
@yajo yajo deleted the docs-broken-replay branch July 8, 2023 08:53
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