Skip to content
This repository has been archived by the owner on Aug 11, 2024. It is now read-only.

Fix merging notes #915

Merged
merged 3 commits into from
Oct 2, 2023
Merged

Fix merging notes #915

merged 3 commits into from
Oct 2, 2023

Conversation

bfollington
Copy link
Collaborator

@bfollington bfollington commented Sep 29, 2023

Working on #912 I realised that merging notes was broken.

The addresses for merge suggestions were not being relativized when retrieved from SQLite, so they had a peer of .did() which made writeMemo blow up thinking it couldn't write to that path.

I've changed searchRenameSuggestions to relativize addresses.

Copy link
Collaborator

@gordonbrander gordonbrander left a comment

Choose a reason for hiding this comment

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

LGTM

Would be worthwhile to add a test as well.

@bfollington bfollington merged commit 8304008 into main Oct 2, 2023
@bfollington bfollington deleted the 2023-09-29-fix-merge-notes branch October 2, 2023 00:51
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.

2 participants